This repository has been archived on 2024-03-02. You can view files and clone it, but cannot push or open issues or pull requests.

anon d818dbf3c0 +user api plan		2023-08-02 17:37:15 +02:00
..
api.md	+user api plan	2023-08-02 17:37:15 +02:00
extern_project_idea_list.txt	doc renaming	2023-08-02 12:49:10 +02:00
project-goals.txt	project-goals file added	2023-08-02 05:45:31 -06:00
save_format_idea.txt	doc renaming	2023-08-02 12:49:10 +02:00