search

mapeditor / tiled

Flexible level editor
https://www.mapeditor.org/
Other
11.26k stars 1.76k forks source link

docs: Removed superfluous CSS file #4084

Closed bjorn closed 1 month ago

bjorn commented 1 month ago

This one is included through the sphinx-docsearch extension now.