diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-09-19 11:38:13 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-09-19 11:38:13 (EDT) |
commit | 1c0a0205cd72e7ab93bb347dde28a72e0f50f470 (patch) | |
tree | 0b35e8bef387261bbdfd861376abd22bb561e9e8 | |
parent | 0c3270c45d8d8399034a0873f24da15f7e7ccce2 (diff) |
.gitignore: Add manual pages
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -23,6 +23,8 @@ src/*[^.]?? lib/*.sm lib/*/*.sm locale/*.ms +man/*.[18] +man/*.[18].mdwn *-*/ *-*.tar* .builddirstamp |