Merge branch 'master' of https://gitlab.redox-os.org/redox-os/redox

2022-04-25 08:44:07 -06:00 · 2022-04-25 08:44:07 -06:00 · 511ebc69e2
parent bb0b859c56 93d89c81bc
commit 511ebc69e2
1 changed files with 1 additions and 0 deletions
--- a/ci.toml
+++ b/ci.toml
@ -30,6 +30,7 @@ diffutils = {}
 dosbox = {}
 drivers = {}
 #drivers-041 = {}
+drivers-initfs = {}
 #duktape = {} # strptime
 eduke32 = {}
 exampled = {}