Cadey Ratio 0b41d79609 lojban tools		2020-02-06 23:57:09 +00:00
..
johaus	lojban tools	2020-02-06 23:57:09 +00:00
jvozba	lojban tools	2020-02-06 23:57:09 +00:00
minica	add minica	2020-02-06 23:33:12 +00:00
moonplus	smaller resulting packages	2020-02-05 04:07:19 +00:00
x	fix?	2020-02-05 04:08:26 +00:00