diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-01-29 12:15:38 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-01-29 12:15:38 +0100 |
| commit | cbe77bf84465ea0c4120e865189b07329b862468 (patch) | |
| tree | 17728929b55a1ea72fb62b40b7d22a3989ab6de7 /manual/.gitignore | |
| parent | aceab5fc08ccba493b81cced8f24406ae76ac7bc (diff) | |
presentation progress
Diffstat (limited to 'manual/.gitignore')
| -rw-r--r-- | manual/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/.gitignore b/manual/.gitignore index 8ae9cbde..110f65b1 100644 --- a/manual/.gitignore +++ b/manual/.gitignore @@ -8,4 +8,5 @@ *.toc *.snm *.nav +*.vrb *.ok |