diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/mainpage.dox (renamed from doc/mainpage.c) | 0 | ||||
| -rw-r--r-- | doc/specifications.dox (renamed from doc/specifications.c) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/mainpage.c b/doc/mainpage.dox index e3c4057..e3c4057 100644 --- a/doc/mainpage.c +++ b/doc/mainpage.dox diff --git a/doc/specifications.c b/doc/specifications.dox index 5b5a8ae..5b5a8ae 100644 --- a/doc/specifications.c +++ b/doc/specifications.dox |