minor adjustments

robur-coop · Aug 19, 2024 · 7ff0e7c · 7ff0e7c
1 parent ef6ab80
commit 7ff0e7c
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,6 +9,5 @@ dune.build
 dune.config
 Makefile
 mirage
-keys
 *.swp
 data
diff --git a/TODO b/TODO
@@ -4,8 +4,8 @@
 - TODO shutdown and restart of a unikernel
 - TODO deploy/create a new unikernel
 
-- TODO store configuration data on block device (PR pending)
-- TODO have an HTTP endpoint for editing / uploading the configuration
+- [x] store configuration data on block device (PR pending)
+- [x] have an HTTP endpoint for editing / uploading the configuration
 
 - TODO we should remove all unauthenticated endpoints (comment out)
 

diff --git a/keys/.keep-me b/keys/.keep-me
-Original file line number
+Diff line change
@@ Expand Up / @@ -9,6 +9,5 @@ dune.build @@
     dune.config
     Makefile
     mirage
-    keys
     *.swp
     data