Delete devel directory

eea · Dec 13, 2023 · c8f83d8 · c8f83d8
1 parent aab129a
commit c8f83d8
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 43 deletions.
diff --git a/devel/Dockerfile b/devel/Dockerfile
diff --git a/devel/docker-setup.sh b/devel/docker-setup.sh