019f8fd211
git-subtree-dir: users/wpcarro git-subtree-mainline:464bbcb15cgit-subtree-split:24f5a642afChange-Id: I6105b3762b79126b3488359c95978cadb3efa789
5 lines
100 B
Text
5 lines
100 B
Text
:set prompt "> "
|
|
:set -Wall
|
|
:set -XOverloadedStrings
|
|
:set -XRecordWildCards
|
|
:set -XTypeApplications
|