Skip to main content

Browse the archive

Revision 34257566e7f9311359861946880a0eb35ce0d147 authored by Pierre-Yves Strub on 15 November 2016, 20:54:16 UTC, committed by Pierre-Yves Strub on 15 November 2016, 20:54:22 UTC 
fix conversion check of expressions (missing quantif)
1 parent 6700014
History
File Mode Size
XDG.ml -rw-r--r-- 4.9 KB
XDG.mli -rw-r--r-- 1.5 KB
back to top