diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2008-03-15 01:57:55 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2008-03-15 01:57:55 +0100 |
| commit | e4828690ed75c5f5b1694118cc279e74c14b9217 (patch) | |
| tree | fff21f1a75efd69a17349314c2b876f0e05752f4 /doc/.gitignore | |
| parent | 90b2a58117bcebab73af50f2eb8fd1f21b9d2cf1 (diff) | |
| download | mdk-e4828690ed75c5f5b1694118cc279e74c14b9217.tar.gz mdk-e4828690ed75c5f5b1694118cc279e74c14b9217.tar.bz2 | |
More ignored files.
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 75e81d7..e186ac5 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,2 +1,3 @@ /Makefile.in +/mdk.info /texinfo.tex |