mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-23 21:33:49 +00:00
Code Issues Projects Releases Wiki Activity
Files
be267604bb92a8c4ede7abd25ce65a20ad5f1cc2
mercury/java
History
Julien Fischer 894ce95892 Fix spelling. 
java/runtime/MercuryOptions.java:
    As above.
2016-06-08 22:05:52 +10:00
..
runtime
Fix spelling.
2016-06-08 22:05:52 +10:00