Files
Geneweb/lib/json_export/dune
2024-03-05 22:01:20 +01:00

6 lines
149 B
Plaintext

(library
(name geneweb_export)
(public_name geneweb.export)
(libraries unix geneweb_def geneweb_def_show geneweb_gwdb)
(modules json_converter))