summaryrefslogtreecommitdiffstats
path: root/.gitignore
blob: 3abf58b084a938a35e61ddce0613ecb4a1fed37e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
build/
.lia.cache
*.vos
*.vok
*.vo
.*.aux
*.glob
*.html~
soupault.conf
node_modules/
package-lock.json

# begin generated files
scripts/tangle-org.el
bootstrap.mk
scripts/export-org.el
org.mk
coq.mk
site/style/main.css
soupault.conf
site/news/ColorlessThemes-0.2.html
site/posts/meta.html
site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/DiscoveringCommonLisp.html
site/posts/MonadTransformers.html
site/posts/meta/Soupault.html
site/posts/meta/Bootstrap.html
site/posts/meta/Contents.html
site/posts/Thanks.html
site/posts.html
site/posts/RewritingInCoq.html
site/posts/StronglySpecifiedFunctions.html
site/posts/Ltac101.html
site/posts/StronglySpecifiedFunctionsProgram.html
site/posts/MiniHTTPServer.html
# begin generated files