diff options
| author | pierre | 2020-05-08 18:33:39 +0200 |
|---|---|---|
| committer | pierre | 2020-05-08 18:33:39 +0200 |
| commit | d4c5bb3e56165d0a7697f0f0f1f7c9212a59741a (patch) | |
| tree | 7755aeb350beca6120239204df6cbd833579cfc6 /.gitignore | |
| parent | 00f752addcdd193c4eeee8db787d0875c23a680b (diff) | |
| download | aur-d4c5bb3e56165d0a7697f0f0f1f7c9212a59741a.tar.gz | |
updated PKGBUID, use pre-built binary
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..3132db745eca --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +pkg +src +milcheck* |