Florian Festi 1b3b7850de Make generator name the start of the page title ... So it is easier to find the right tab in the browser.		2023-01-22 15:42:51 +01:00
..
Dockerfile	Fix boxesserver	2023-01-17 10:28:23 +01:00
boxes	Remove outdated imports	2022-12-31 20:33:49 +01:00
boxes2inkscape	Remove useless parentheses	2023-01-13 16:18:44 +01:00
boxes2pot	Add typing: variables	2023-01-09 07:55:59 +01:00
boxes_example.ipynb	Remove .open() call from the .render() method	2019-02-08 17:43:15 +01:00
boxesserver	Make generator name the start of the page title	2023-01-22 15:42:51 +01:00
gen_thumbnails.sh	Add script to statically generate thumbnails	2019-10-27 16:44:13 +01:00