license-tool: .licenseignore update + some fixes [VER-551]
This commit is contained in:
parent
3e3baf7b49
commit
7c13256d89
|
@ -20,6 +20,8 @@
|
||||||
*.pyc
|
*.pyc
|
||||||
*.mp
|
*.mp
|
||||||
*.dot
|
*.dot
|
||||||
|
*.toc
|
||||||
|
*.mpx
|
||||||
*.mlb
|
*.mlb
|
||||||
*.o
|
*.o
|
||||||
*~
|
*~
|
||||||
|
@ -49,6 +51,7 @@ spec/haskell/cabal.sandbox.config
|
||||||
spec/haskell/.cabal-sandbox/*
|
spec/haskell/.cabal-sandbox/*
|
||||||
spec/haskell/Setup.hs
|
spec/haskell/Setup.hs
|
||||||
spec/haskell/configure
|
spec/haskell/configure
|
||||||
|
spec/haskell/dist/*
|
||||||
spec/haskell/src/SEL4/Model/PSpace.lhs-boot
|
spec/haskell/src/SEL4/Model/PSpace.lhs-boot
|
||||||
spec/haskell/src/SEL4/Kernel/FaultHandler.lhs-boot
|
spec/haskell/src/SEL4/Kernel/FaultHandler.lhs-boot
|
||||||
spec/haskell/src/SEL4/Kernel/Init.lhs-boot
|
spec/haskell/src/SEL4/Kernel/Init.lhs-boot
|
||||||
|
|
|
@ -1,13 +1,3 @@
|
||||||
(*
|
|
||||||
* Copyright 2014, NICTA
|
|
||||||
*
|
|
||||||
* This software may be distributed and modified according to the terms of
|
|
||||||
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
|
|
||||||
* See "LICENSE_BSD2.txt" for details.
|
|
||||||
*
|
|
||||||
* @TAG(NICTA_BSD)
|
|
||||||
*)
|
|
||||||
|
|
||||||
signature StrictC_TOKENS =
|
signature StrictC_TOKENS =
|
||||||
sig
|
sig
|
||||||
type ('a,'b) token
|
type ('a,'b) token
|
||||||
|
|
Loading…
Reference in New Issue