diff options
| author | Thomas Bauereiss | 2020-03-27 12:01:31 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-10 13:22:11 +0100 |
| commit | 0207a2ce56250a1d277871dc2ed546aab5255e3a (patch) | |
| tree | 75528874b505511e06c47b596b9cb3fceab2ee16 /.merlin | |
| parent | 6e717ac9c733b06eae6ed1717f11e8d00c21c8c0 (diff) | |
Make merlin know about pprint
Diffstat (limited to '.merlin')
| -rw-r--r-- | .merlin | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,4 +8,4 @@ S src/gen_lib/** S src/lem_interp/** S src/test/** B src/_build/** -PKG num str unix uint zarith linksem lem omd linenoise base64 yojson +PKG num str unix uint zarith linksem lem omd linenoise base64 yojson pprint |