edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-10-26 17:33:47 +03:00
Code Issues Projects Releases Wiki Activity
master
Idris2-boot/tests/chez/chez016
History
Christian Rasmussen 0694b6c0ef Update chez016 test to not rely on realpath
2020-05-09 23:19:38 +02:00
..
folder with spaces Allow spaces in file path for generated Chez programs 2020-04-18 18:18:02 +02:00
expected Allow spaces in file path for generated Chez programs 2020-04-18 18:18:02 +02:00
input Allow spaces in file path for generated Chez programs 2020-04-18 18:18:02 +02:00
run Update chez016 test to not rely on realpath 2020-05-09 23:19:38 +02:00