diff options
author | Loïc Hoguin <[email protected]> | 2017-07-10 12:07:12 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2017-07-10 12:11:51 +0200 |
commit | ff271594f58dc7425483fe3ccc649defc552a04c (patch) | |
tree | 745f11680e61bd1c74920923fc6d7e2b36c225eb /build.config | |
parent | 70b86284812e46c4a3a607aacaec67af2453fff0 (diff) | |
download | erlang.mk-ff271594f58dc7425483fe3ccc649defc552a04c.tar.gz erlang.mk-ff271594f58dc7425483fe3ccc649defc552a04c.tar.bz2 erlang.mk-ff271594f58dc7425483fe3ccc649defc552a04c.zip |
Add initial plugin for proper
Should act the same way as the Triq plugin, making switching
mostly painless, excluding the differences between the two
libraries.
Diffstat (limited to 'build.config')
-rw-r--r-- | build.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build.config b/build.config index 7bfcec7..6a28ce9 100644 --- a/build.config +++ b/build.config @@ -30,6 +30,7 @@ plugins/edoc plugins/erlydtl plugins/escript plugins/eunit +plugins/proper plugins/relx plugins/shell plugins/syntastic |