Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
Maximilian Bosch
|
6638819910
|
picat: 1.9-4 -> 2.8-2
|
2020-01-28 20:11:01 +01:00 |
|
John Ericson
|
2c2f1e37d4
|
reewide: Purge all uses stdenv.system and top-level system
It is deprecated and will be removed after 18.09.
|
2018-08-30 17:20:32 -04:00 |
|
James Earl Douglas
|
c918020ed9
|
picat: add meta.maintainers
|
2017-10-22 18:30:33 -06:00 |
|
Robin Gloster
|
e7be1168ba
|
picat: disable format hardening
|
2016-05-31 12:57:28 +00:00 |
|
James Earl Douglas
|
292f9e5f23
|
picat: init at 1.9-4
|
2016-05-26 15:29:03 -06:00 |
|