diff options
| author | Emilio Jesus Gallego Arias | 2019-04-02 12:36:27 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-02 12:36:27 +0200 |
| commit | 80ad88ea8e2aab71c3dd0bf05b39776c61c93392 (patch) | |
| tree | 054e51d26ac85e0704f7958d5885e47c749ec06f /doc/plugin_tutorial/README.md | |
| parent | 0bf1af8340fc340d0829a98832bbe9687aeb2670 (diff) | |
[opam] Update file to newer format and build system.
Using Dune in the OPAM file does allow to use some goodies such as
`dune-release` etc...
Diffstat (limited to 'doc/plugin_tutorial/README.md')
0 files changed, 0 insertions, 0 deletions