milo a3c2d0dcca "dpi" is part of the spritemap data, not passed as an argument		2024-02-05 16:33:57 -05:00
assets	batched rendering for sprites and text	2024-01-22 15:08:42 -05:00
scripts	"dpi" is part of the spritemap data, not passed as an argument	2024-02-05 16:33:57 -05:00
src	"dpi" is part of the spritemap data, not passed as an argument	2024-02-05 16:33:57 -05:00
.gitignore	spritemap generation utils	2024-01-19 18:04:37 -05:00
dune-project	specify more dependencies	2024-02-05 12:46:57 -05:00
geometra.opam	specify more dependencies	2024-02-05 12:46:57 -05:00