summaryrefslogtreecommitdiffstats
path: root/misc/scripts/check_get_file_list.py
Commit message (Expand)AuthorAgeFilesLines
* Rename float=64 build option to precision=doubleRicardo Buring2023-01-091-2/+2
* Rename godot-headers to gdextension, move header to top folderRémi Verschelde2022-12-141-1/+1
* Fix get_file_list not returning all generated files.Fabio Alessandrelli2022-09-111-0/+31