lustrec/src/plugins/salsa/dune @ ca7ff3f7
| 1 | 719ae9fd | Lélio Brun | (include_subdirs no) |
|---|---|---|---|
| 2 | |||
| 3 | (library |
||
| 4 | (name salsa_plugin) |
||
| 5 | (public_name lustrec.salsa_plugin) |
||
| 6 | (libraries lustrec_interface plugin_register salsa) |
||
| 7 | (optional)) |
||
| 8 | |||
| 9 | (plugin |
||
| 10 | (name salsa_plugin) |
||
| 11 | (libraries lustrec.salsa_plugin) |
||
| 12 | ca7ff3f7 | Lélio Brun | (site |
| 13 | (lustrec plugins)) |
||
| 14 | 719ae9fd | Lélio Brun | (optional)) |