new ui elements for timing

This commit is contained in:
2022-10-18 23:27:41 +02:00
parent 7a1cf3f009
commit 1992c549c1
2 changed files with 4 additions and 11 deletions

7
.idea/misc.xml generated
View File

@@ -1,7 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="ProjectPlainTextFileTypeManager">
<file url="file://$PROJECT_DIR$/sharpening.py" />
</component>
<component name="ProjectRootManager" version="2" project-jdk-name="Python 3.7 (lc-py-b)" project-jdk-type="Python SDK" />
</project>