diff options
author | Jakob Unterwurzacher | 2017-11-01 19:41:47 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2017-11-01 19:41:47 +0100 |
commit | 5428567fa09019cb844c59700d7ffc2a49719f51 (patch) | |
tree | 3b5cd4f153b5a058391f2d544e49f8c5da8ce488 /contrib/getdents-debug/getdents/.gitignore | |
parent | 6c2c2b9a8b554be43545694e9f77577dba87ecb1 (diff) |
package-source.bash: create VERSION filev1.4.2
...and delete if after packaging is done.
Diffstat (limited to 'contrib/getdents-debug/getdents/.gitignore')
0 files changed, 0 insertions, 0 deletions