Fixes in html files of entries of 1992
This commit is contained in:
1 parent
c5dde38b81
commit
97d26a59d3
20 files changed
+137
-137
No files matched your search
+2
-2
@@ -4,8 +4,8 @@
|
||||
make all
|
||||
```
|
||||
|
||||
NOTE: we DISABLE the optimiser because having it enabled causes some invocations
|
||||
to crash in some systems.
|
||||
**NOTE**: we **FORCE DISABLE** the optimiser because having it enabled causes
|
||||
some invocations to crash in some systems.
|
||||
|
||||
|
||||
### Bugs and (Mis)features:
|
||||
|
||||
Reference in new issue
Block a user