5 commits

Author	SHA1	Message	Date
Mario Rodas	e47dd1bb34	cedille: fix hash	2019-05-05 20:47:29 -05:00
Mario Rodas	7a965dcdab	cedille: 1.0.0 -> 1.1.1 (#60307)	2019-04-29 21:02:44 +02:00
Matthew Pickering	08e5ef20d8	cedille: Make a seperate output for the base library ... For now, for normal usage you need to add `${cedille.lib}` to the `~/.cedille/options` file so that cedille will find the base libraries. There is no option to pass options by the command line.	2018-10-22 08:43:07 +00:00
Matthew Pickering	f7d4bc2c71	cedille: Apply patch which unbreaks the options file ... See https://github.com/cedille/cedille/issues/29	2018-10-22 08:42:01 +00:00
Matthew Pickering	43ae33728b	cedille: init at 1.0.0	2018-10-14 19:17:23 +00:00