mirror of https://github.com/seL4/seL4.git
36 lines
386 B
Plaintext
36 lines
386 B
Plaintext
#
|
|
# Copyright 2014, General Dynamics C4 Systems
|
|
#
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
|
#
|
|
|
|
# generated python bytecode
|
|
*.pyc
|
|
|
|
# latex generated files
|
|
*.aux
|
|
*.log
|
|
*.out
|
|
*.lof
|
|
*.lot
|
|
*.bbl
|
|
*.blg
|
|
*.toc
|
|
*.mpx
|
|
*.acn
|
|
*.glo
|
|
*.gls
|
|
*.ilg
|
|
*.ist
|
|
|
|
tools/parsetab.py
|
|
manual/env.tex
|
|
manual/manual.pdf
|
|
manual/stage
|
|
manual/doxygen-output
|
|
manual/generated
|
|
manual/generated_markdown
|
|
|
|
# Emacs backups
|
|
*~
|