Delete dev directory

drevoborod · Apr 10, 2022 · 3e5c2af · 3e5c2af
1 parent 56be2c0
commit 3e5c2af
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 42 deletions.
diff --git a/dev/developing_notes.txt b/dev/developing_notes.txt
diff --git a/dev/task_generator.py b/dev/task_generator.py
diff --git a/dev/timer_schema.epgz b/dev/timer_schema.epgz