changeset 94 | f71fb1a281ef |
parent 91 | 4925a9f3a985 |
child 99 | afdaa2c417c1 |
--- a/docs/HISTORY.txt Tue Nov 27 17:21:15 2018 +0100 +++ b/docs/HISTORY.txt Fri Nov 30 14:44:01 2018 +0100 @@ -1,6 +1,10 @@ History ======= +0.1.13 +------ + - sort extensions by weight in "ThesaurusTerm.query_extensions()"" method + 0.1.12 ------ - use alternate label in terms tree selection widget when available