diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-02-01 12:36:56 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-02-01 12:36:56 +0100 |
| commit | 46742857b51b6052f5e90ad9a046a8c8f8101309 (patch) | |
| tree | dc589bfd5139261d5b124fc7ecc888e8598e899e | |
| parent | 59a2e5575a8349821a3d1108771527e47bb260e9 (diff) | |
Added deb/.vagrant to gitignore
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 26be741eb..32ef66e8b 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ *~ +deb/.vagrant dist/* MANUAL.* !MANUAL.txt |