summaryrefslogtreecommitdiff
path: root/plugins/quote
ModeNameSize
-rw-r--r--Quote.v2691logplain
-rw-r--r--g_quote.ml41246logplain
-rw-r--r--quote.ml17107logplain
-rw-r--r--quote_plugin.mllib31logplain
-rw-r--r--vo.itarget8logplain