secc
/
seL4-L4.verified
mirror of https://github.com/seL4/l4v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

license: ignore generated file 

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-10-21 16:08:10 +10:00 committed by Gerwin Klein
parent 9fcb919879
commit e15ddaf383
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.licenseignore
View File

@ -53,6 +53,7 @@ internal/*
spec/abstract/document/*/ARCH.tex
spec/abstract/document/gitrev.tex
spec/abstract/document/git-root.tex
spec/haskell/cabal.sandbox.config
spec/haskell/.cabal-sandbox/*