mirror of https://github.com/seL4/docs.git
18 lines
333 B
Plaintext
18 lines
333 B
Plaintext
# Copyright 2020 seL4 Project a Series of LF Projects, LLC.
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
_data/generated.yml
|
|
_site/
|
|
_preview/
|
|
.sass-cache/
|
|
_repos/
|
|
projects/virtualization/docs/api/
|
|
.jekyll-cache/
|
|
.npm_deps
|
|
vendor/
|
|
node_modules/
|
|
_processed/microkit-tutorial/
|
|
_processed/tutes/
|
|
_processed/rust/
|
|
_data/microkit_tutorial.yml
|