ligo/src/dune-project

3 lines
35 B
Plaintext
Raw Normal View History

2019-05-13 00:56:22 +04:00
(lang dune 1.6)
(using menhir 2.0)