Commit graph

3 commits

Author SHA1 Message Date
ModProg
d53778ed5d fix ui 2021-09-29 19:31:05 +02:00
ModProg
ac1a9d6d13 address epage's remarks 2021-09-27 22:06:17 +02:00
Pavan Kumar Sunkara
fe52d77f4e Allow separate derives, but do not give examples 2020-05-15 09:51:42 +02:00