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