mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-27 23:34:52 +00:00
Code Issues Projects Releases Wiki Activity
18,498 Commits 24 Branches 141 Tags
d9e0b5f8b8a80980da55d4eaa527c692fffc97e7
Commit Graph

1 Commits

Author SHA1 Message Date
Paul Bone
dbbc97200d Make the make_temp foreign code compatible with Java 1.5 
library/io.m:
    As above.

extras/java_extras/make_temp.m:
    Move the more secure but Java 1.7 version here.
 2016-04-18 17:01:44 +10:00