diff options
author | Gordian Edenhofer | 2017-11-09 22:06:52 +0100 |
---|---|---|
committer | Gordian Edenhofer | 2017-11-09 23:34:42 +0100 |
commit | 10d25cc218dc9ecb5abfb21b718b60e79e63ed1d (patch) | |
tree | e42f53c52c507ae175bdc3acd0412cd5c010303a /.gitignore | |
parent | bbc5b7df93d026827f3fc43f6bef7c2a01465420 (diff) | |
download | aur-10d25cc218dc9ecb5abfb21b718b60e79e63ed1d.tar.gz |
upgpkg: spigot 1.12.2-1
* Pin version of 'BuildTools.jar' using a Jenkins build tag
* Quote more variables in the PKGBUILD and .install file
* Switch from `echo` to makepkg's internal `msg` and `msg2`
* Add comment honoring the initial submitter of this package
* Remove '.gitignore'
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.gitignore b/.gitignore deleted file mode 100644 index 087643cfebba..000000000000 --- a/.gitignore +++ /dev/null @@ -1,6 +0,0 @@ -pkg/ -src/ -*.jar -*.log -*.tar -*.xz |