diff options
author | Daniel Peukert | 2020-03-15 17:48:49 +0100 |
---|---|---|
committer | Daniel Peukert | 2020-03-15 17:48:49 +0100 |
commit | 6e118e84c37bd763e99f3b69dcc381edaab91d4e (patch) | |
tree | e5c150e85f0700ad8b6a33dc82481461b2b9f8a1 /.gitignore | |
parent | c065a27246c2db42ee0878519b809fff8742cd5e (diff) | |
download | aur-6e118e84c37bd763e99f3b69dcc381edaab91d4e.tar.gz |
Added ppx_let and dependencies
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..82b3c183d5d4 --- /dev/null +++ b/.gitignore @@ -0,0 +1,14 @@ +# from https://github.com/github/gitignore/blob/master/ArchLinuxPackages.gitignore +*.tar +*.tar.* +*.rpm +*.jar +*.exe +*.msi +*.zip +*.tgz +*.log +*.log.* +*.sig + +*/ |