regenerate doc

2018-05-21 19:59:10 +00:00
parent df4df8e0d5
commit 9536688b37
127 changed files with 904 additions and 820 deletions
--- a/1
+++ b/1
@@ -24,4 +24,3 @@ Setting                   Description
                          may be useful when debugging
 -DISC_HEAP_CHECK          Test heap consistency after every heap
                          operation; used when debugging
-