Mercurial > dive4elements > river
diff artifacts/doc/conf/themes/legend.xml @ 9580:839b2aa84dd0
minuend/subtrahend-UI-switch
author | gernotbelger |
---|---|
date | Tue, 08 Jan 2019 17:01:09 +0100 |
parents | 145895212b3c |
children | 1d4262a68f1f |
author | gernotbelger |
---|---|
date | Tue, 08 Jan 2019 17:01:09 +0100 |
parents | 145895212b3c |
children | 1d4262a68f1f |