diff options
author | jjako <jjako> | 2002-12-16 14:53:50 +0000 |
---|---|---|
committer | jjako <jjako> | 2002-12-16 14:53:50 +0000 |
commit | 824ae2ccbfb20d6ed34d5e71c7cf3a6f603aa4e1 (patch) | |
tree | 82af2365d08fc76fb10850614a04354a773ed9d2 /doc | |
parent | dc8bb83fc9fedeb7fd3e9209e07b2ddc22442d22 (diff) |
Adding ./configure files-
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.in | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/doc/Makefile.in |