This commit is contained in:
parent
e02c4a11a7
commit
6ca99308f4
13 changed files with 180 additions and 19 deletions
16
.gitignore
vendored
16
.gitignore
vendored
|
|
@ -1,8 +1,10 @@
|
|||
_build/
|
||||
mirage/
|
||||
dist/
|
||||
dune.build
|
||||
dune.config
|
||||
dune-project
|
||||
dune-workspace
|
||||
duniverse/
|
||||
data/tls/certificates/*
|
||||
data/tls/keys/*
|
||||
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