2 Commits

Include renames

Author	SHA1	Message	Date
Hornwitser	87e52b804e	Convert JSON file indents to tabs ... Be consistent with the usage of tabs as indents in all JSON files in the project. This makes it easier to configure editors to emit the right indents when manually editing these files.	2023-11-25 18:19:15 +01:00
Luciole	838170a9ff	Port packages/web_ui to TypeScript (#508) ... * .jsx to .tsx * controller: tsc --build before webpack-cli * Type Annotation * disabled move into the <Input/> and <Checkbox/> * cleanup debug left over * documentation * default ModPack * modPackUpdateHandlers no undefined * PluginInfo changes proposition * PluginInfo changes proposition miss * ModRecord & ModInfo feedback loop at const mods = [ ? * ["connect", "drop", "resume", "close"] as const * .tsx to .ts when possible	2023-09-02 14:51:35 +02:00