Rotzbua 755d8be998 Doc: update redirect html ... * disallow indexing the redirect page * remove unnecessary script type		2023-01-08 18:01:12 +01:00
..
src	Doc: update redirect html	2023-01-08 18:01:12 +01:00
boxes.1	spelling nits in docs	2020-02-23 16:07:42 +01:00
boxes.xml	added man pages	2019-11-01 11:35:52 +01:00
boxesserver.1	added man pages	2019-11-01 11:35:52 +01:00
boxesserver.xml	added man pages	2019-11-01 11:35:52 +01:00
presentation.odp	Update slides	2016-07-19 17:40:08 +02:00