diff options
author | Mort Yao | 2016-03-13 04:35:27 +0100 |
---|---|---|
committer | Mort Yao | 2016-03-13 04:35:27 +0100 |
commit | 04b4ef359c5644042878c6aff7bfc17d667118b7 (patch) | |
tree | 5790c6d509c8a04bdf1fb47274228b6b36d08d1e /.gitignore | |
download | aur-04b4ef359c5644042878c6aff7bfc17d667118b7.tar.gz |
fstar-bin 0.9.2.0-1
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..c0c0101576a5 --- /dev/null +++ b/.gitignore @@ -0,0 +1,7 @@ +/pkg +/src +*.bz2 +*.gz +*.tar +*.xz +*.zip |