stax76 0148a71281 fix dead links and dead manual topics

2023-10-24 11:50:09 +02:00

..

editor_conf.txt

fix dead links and dead manual topics

2023-10-24 11:50:09 +02:00

theme.txt

replace v6 with experimental v7 code

2023-10-24 11:17:45 +02:00