mirror of
https://github.com/seL4/seL4.git
synced 2026-03-27 10:29:57 +00:00
17706f02ce
Fixes #110 on Github. As the issue describes, `**` is not the right syntax. We could write `**/*.pyc` instead, but according to https://git-scm.com/docs/gitignore a pattern already matches at any directory level if it doesn't contain `/`. Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
30 lines
330 B
Plaintext
30 lines
330 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
|
|
|
|
tools/parsetab.py
|
|
manual/env.tex
|
|
manual/manual.pdf
|
|
manual/stage
|
|
manual/doxygen-output
|
|
manual/generated
|
|
|
|
# Emacs backups
|
|
*~
|