diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makemodule.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/Makemodule.am b/doc/Makemodule.am deleted file mode 100644 index f6870c8..0000000 --- a/doc/Makemodule.am +++ /dev/null @@ -1 +0,0 @@ -EXTRA_DIST += doc/format.txt doc/parallelism.txt doc/mainpage.dox |