diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 20 |
1 files changed, 5 insertions, 15 deletions
@@ -2,24 +2,14 @@ * !.gitignore !makefile -!*.d -!*.rl +!tangle !*.org -!*.ss[tmi] -!README -*_.d -*_.rl +!*.d +!org +!lib !**/ -**/scratch **/.#* +#!*/ #*~ #\#* #*.\#* -#*_.rl -#*.rl_ -#*.rb -#*.[o] -#*.[^d] -#*.[^s][^s][^tmi] -#[^/a-z]*[^.][^d] -#*[^.][^d] |