756e220e1e
These files are generated when you run `nix-shell --command make` and are likely to be committed by accident. Let's help people avoid that.
11 lines
151 B
Text
11 lines
151 B
Text
*.chapter.xml
|
|
*.section.xml
|
|
.version
|
|
functions/library/generated
|
|
functions/library/locations.xml
|
|
highlightjs
|
|
manual-full.xml
|
|
out
|
|
result
|
|
result-*
|
|
media
|