Nombres/lib/dune

3 lines
26 B
Plaintext
Raw Normal View History

2020-01-05 19:02:23 +00:00
(library
(name nombres))