diff options
| author |  Tom Willemse | 2013-05-27 22:30:00 +0200 |
|---|---|---|
| committer | Tom Willemse | 2013-05-27 22:30:00 +0200 |
| commit | 7f6037855dbfb16e5c05c29fd1eaeba14c4dfabb (patch) | |
| tree | c450f41b7b95f59fe1036489b94ac95a99c64187 /doc/.gitignore | |
| parent | aa0accc9772c8d49f16fc167f49587ff902bd3dd (diff) | |
| download | gitto-7f6037855dbfb16e5c05c29fd1eaeba14c4dfabb.tar.gz gitto-7f6037855dbfb16e5c05c29fd1eaeba14c4dfabb.zip | |
Add user manual
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..1d5311a --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,3 @@ +html/ +gitto.* +!gitto.texi |