mirror of
https://github.com/github/semantic.git
synced 2024-12-23 23:11:50 +03:00
Enable pretty-printing immediately.
This commit is contained in:
parent
d030f028da
commit
76833768a4
@ -26,3 +26,6 @@
|
||||
|
||||
-- Better typed holes
|
||||
:set -funclutter-valid-hole-fits -fabstract-refinement-hole-fits -frefinement-level-hole-fits=2
|
||||
|
||||
-- Enable pretty-printing immediately
|
||||
:pretty
|
||||
|
Loading…
Reference in New Issue
Block a user