Sign in
opensecura
/
3p
/
sel4
/
capdl
/
refs/heads/master
/
.
/
capDL-tool
/
.gitignore
blob: a97919c07e57e6b7a0db9a49cfa616c8d2acf9d0 [
file
] [
edit
]
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
/*.parse
/*.parse.x
/*.dot
/*.png
/*.xml
/*.thy
.cabal-sandbox
cabal.sandbox.config
dist
parse-capDL
stack.yaml.lock