|
b5b239155d
|
update to 1.9 [release 1.9-1mamba;Wed Mar 21 2018]
|
2024-01-05 18:33:17 +01:00 |
|
|
7224ca1689
|
update to 1.7.2 [release 1.7.2-1mamba;Tue Aug 23 2016]
|
2024-01-05 18:33:17 +01:00 |
|
|
8fe6314cfe
|
periodic rebuild (manual edit: fix info page installation) [release 1.7-3mamba;Fri Sep 06 2013]
|
2024-01-05 18:33:17 +01:00 |
|