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