Skip to main content

Browse the archive

Revision 3c1476b648e95e00b886cd7986bada35064ca44e authored by Alley Stoughton on 17 May 2022, 13:54:38 UTC, committed by Pierre-Yves Strub on 17 May 2022, 14:43:37 UTC 
Fix pretty-printing of projections.
 
Former printer was using an invalid priority for projections.

Fixes #200
1 parent 24b0ce7
History
File Mode Size
XDG.ml -rw-r--r-- 4.7 KB
XDG.mli -rw-r--r-- 1.3 KB
back to top