annotate .gitignore @ 1:b195a14058bb

initial commit
author Jesse Hallett <jesse@galois.com>
date Thu, 05 Mar 2015 16:25:10 -0800
parents
children 27730595f1ea
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
1 # Compiled files
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
2 *.o
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
3 *.so
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
4 *.rlib
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
5 *.dll
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
6
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
7 # Executables
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
8 *.exe
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
9
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
10 # Generated by Cargo
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
11 /target/
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
12 Cargo.lock
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
13
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
14 # Override top-level .gitignore in Misc repo
b195a14058bb initial commit
Jesse Hallett <jesse@galois.com>
parents:
diff changeset
15 !src/tozny