.gitignore 209 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
.log
.class
bin

*#
*~
*.bak
*.sav
*.lyx.emergency
*-lyxformat-474.lyx
target
.cache
.cache-main
.cache-tests
.history
.lib
dist/*
isabelle/output
code/node_modules

stuff
eclipse.sh
talks/talk_2017-may
24
.idea