aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/quote
ModeNameSize
-rw-r--r--Quote.v2600logplain
-rw-r--r--g_quote.ml41441logplain
-rw-r--r--quote.ml19286logplain
-rw-r--r--quote_plugin.mlpack14logplain