|
57b8115414
|
automatic version update by autodist [release 20210325-1mamba;Tue May 25 2021]
|
2024-01-05 18:27:44 +01:00 |
|
|
0b2f97bc9c
|
update to 20200406 [release 20200406-1mamba;Fri Nov 27 2020]
|
2024-01-05 18:27:44 +01:00 |
|
|
a874e2f645
|
update to 20190410 [release 20190410-1mamba;Tue Jul 16 2019]
|
2024-01-05 18:27:44 +01:00 |
|
|
8dc50b725e
|
update to 20170524 [release 20170524-1mamba;Thu Aug 10 2017]
|
2024-01-05 18:27:44 +01:00 |
|
|
7b135dcb56
|
update to 20140525 [release 20140525-1mamba;Tue Jul 15 2014]
|
2024-01-05 18:27:44 +01:00 |
|
|
0e364b0ecb
|
update to 20130530
texlive: require texi2html
texlive-fonts: require(post) texlive [release 20130530-1mamba;Mon Aug 19 2013]
|
2024-01-05 18:27:44 +01:00 |
|
|
19ae1b3762
|
Initial commit
|
2024-01-05 18:27:42 +01:00 |
|