etc/headache_config


1
2
3
4
5

  ".*\\.mllib"  -> frame open:"(*" line:"=" close:"*)"
|  ".*\\.lem"    -> frame open:"(*" line:"=" close:"*)"
|  ".*\\.v"      -> frame open:"(*" line:"=" close:"*)"
|  ".*\\.sail"   -> frame open:"/*" line:"=" close:"*/"