aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
blob: 34b876287af2448984eadfae448818499f37d86c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
# git ls-files --others --exclude-from=.git/info/exclude
*
!.gitignore
!makefile
!tangle
!*.org
!*.d
!org
!lib
!**/
**/.#*
#!*/
#*~
#\#*
#*.\#*