summaryrefslogtreecommitdiff
path: root/.merlin
blob: 92bbd16422b3b34bbd7a3035dd2e4b98debba7b8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
FLG -w -3
FLG -w -26
FLG -w -32

S src
S src/contrib/**
S src/gen_lib/**
S src/lem_interp/**
S src/pprint/**
S src/test/**
B src/_build/**
PKG num str unix uint zarith linksem lem omd linenoise yojson