mrckndt
|
1d1351eb43
|
remove unused packages
|
2022-01-12 11:56:58 +01:00 |
|
mrckndt
|
dc380d4a22
|
update
|
2021-12-27 15:23:09 +01:00 |
|
mrckndt
|
1a195ded84
|
f35
|
2021-11-25 20:33:32 +01:00 |
|
mrckndt
|
09e3c8d850
|
switching back to f34 and small adjustments
|
2021-11-01 08:40:59 +01:00 |
|
mrckndt
|
b942383210
|
use f35 and comment pandoc+texlive
|
2021-10-23 10:22:35 +02:00 |
|
mrckndt
|
be1516f434
|
permissions
|
2021-09-01 10:51:03 +02:00 |
|
mrckndt
|
82e056aee7
|
rename toolbox
|
2021-08-31 11:06:57 +02:00 |
|