summaryrefslogtreecommitdiff
path: root/docs
ModeNameSize
-rw-r--r--.gitignore76logplain
-rw-r--r--Makefile.am792logplain
-rw-r--r--package-set.xml7564logplain
-rw-r--r--razor-docs.xml2436logplain
-rw-r--r--razor-sections.txt2001logplain
-rw-r--r--solver.xml14160logplain
-rw-r--r--version.xml.in10logplain