Skip to content
Snippets Groups Projects
Commit 62b1ee6c authored by Jan Rochel's avatar Jan Rochel
Browse files

add headache config for default dune workspace file

parent 57e2041c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
headers/headache_config.txt
+ 2
− 0
View file @ 62b1ee6c
......@@ -58,6 +58,8 @@
########
| "dune-project" -> frame open:";;" line:";" close:";;"
| ".*dune-project" -> skip match:"(lang.*"
| "dune-workspace" -> frame open:";;" line:";" close:";;"
| "dune-workspace" -> skip match:"(lang.*"
| "dune" -> frame open:";;" line:";" close:";;"
############
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment