Index: index.html
===================================================================
--- index.html (revision 68)
+++ index.html (revision 69)
@@ -22,6 +22,7 @@
[intconn] | component internal connections
|
[nonetlist] | components that are not part of the netlist and should not cause shorts
|
[flagcomp] | unknown flag compatibility
+ |
[mincut] | minimal cut based warnings on shorts
|
[debian] | Debian packaging the binaries configured to my own taste
|