3 Commits

Author	SHA1	Message	Date
John J. Camilleri	7505813fa5	Must make dest directory before copying to it	2020-11-11 21:58:45 +01:00
Krasimir Angelov	a9c2872059	Merge branch 'master' of https://github.com/GrammaticalFramework/gf-rgl	2018-11-28 13:57:39 +01:00
Krasimir Angelov	23f3fd244a	rename Make.* to Setup.* to follow the Cabal convention	2018-11-28 13:54:56 +01:00