This commit is contained in:
parent
e02c4a11a7
commit
5b372e0712
13 changed files with 179 additions and 19 deletions
15
.gitignore
vendored
15
.gitignore
vendored
|
|
@ -1,8 +1,9 @@
|
|||
_build/
|
||||
mirage/
|
||||
dist/
|
||||
dune.build
|
||||
dune.config
|
||||
dune-project
|
||||
dune-workspace
|
||||
duniverse/
|
||||
data/tls/***
|
||||
unikernel/mirage/
|
||||
unikernel/dist/
|
||||
unikernel/dune.build
|
||||
unikernel/dune.config
|
||||
unikernel/dune-project
|
||||
unikernel/dune-workspace
|
||||
unikernel/duniverse/
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue