diff options
author | 2017-03-17 19:19:10 -0400 | |
---|---|---|
committer | 2017-03-17 19:19:10 -0400 | |
commit | ef941e205deb18cf423afbdb452ab9619d4c21d7 (patch) | |
tree | 645809d7eb07c74fef83c3ad83fbdb2e89b03d87 /Jenkinsfile | |
parent | 0af00026c9f2c256b5bebf584c2229beccda338b (diff) |
gitignore git-annex-shell
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions