chore: removed devel

eea · Jan 19, 2024 · 845a83c · 845a83c
1 parent c86c2b9
commit 845a83c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 22 deletions.
diff --git a/devel/Dockerfile b/devel/Dockerfile
diff --git a/devel/devel.cfg b/devel/devel.cfg