Skip to main content

Browse the archive

Revision 7a93224dbc641ca66b799de6d0c8d6f22a054d0a authored by Pierre-Yves Strub on 28 March 2022, 16:59:08 UTC, committed by Pierre-Yves Strub on 28 March 2022, 17:07:06 UTC 
[build]: [dune]: auto-generation of theories/dune
1 parent a9748f7
History
File Mode Size
XDG.ml -rw-r--r-- 5.0 KB
XDG.mli -rw-r--r-- 1.7 KB
back to top