5 commits

Author	SHA1	Message	Date
Tobias Geerinckx-Rice	2798b02ad0	Convert some *Flags from strings to lists	2015-11-26 23:45:31 +01:00
Pascal Wittmann	7fd2796e99	Replace 'with plaforms; platform' with 'platforms.platform'	2015-11-17 21:30:43 +01:00
Tobias Geerinckx-Rice	6c6201a99b	Remove unnecessary rec{s from "my" packages	2015-07-31 02:02:07 +02:00
Tobias Geerinckx-Rice	776608a332	aha: remove default GitHub downloadPage	2015-06-12 02:27:53 +02:00
Tobias Geerinckx-Rice	999241a907	Add aha 0.4.8: quick & dirty ANSI-to-HTML converter	2015-04-28 00:10:14 +02:00