1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-18 14:21:41 +00:00
Files
godot/tools/editor/plugins
Rémi Verschelde 13fe615ea3 Merge pull request #5760 from r1cebank/issue-5636__add-close-docs-option
Script Editor: adding close all docs menu option
2016-07-19 07:35:20 +02:00
..
2015-11-01 20:53:26 +01:00