Alex "mcmonkey" Goodwin c695c4af7f Frontend Manager: avoid redundant gh calls for static versions (#5152) ... * Frontend Manager: avoid redundant gh calls for static versions * actually, removing old tmpdir isn't needed I tested - downloader code handles this case well already (also rmdir was wrong func anyway, needed shutil.rmtree if it had content) * add code comment		2024-10-16 03:35:37 -04:00
..
__init__.py	Add `FrontendManager` to manage non-default front-end impl (#3897)	2024-07-16 11:26:11 -04:00
app_settings.py	…
frontend_management.py	Frontend Manager: avoid redundant gh calls for static versions (#5152)	2024-10-16 03:35:37 -04:00
logger.py	Let --verbose have an argument for the log level.	2024-10-04 10:05:34 -04:00
user_manager.py	Add docstring	2024-09-20 03:16:23 -04:00