diff options
| author | Jakob L. Kreuze | 2023-12-21 13:20:58 -0500 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-12-21 13:20:58 -0500 |
| commit | be7067d632aa665c20f96d3b344a84c95b0f8ff8 (patch) | |
| tree | fc5564a72cc42c8a21d3e943f645afcaae78f5a5 /xacml-proofs/.gitignore | |
| parent | 5918f84a1a05881d93d9fab83104feca9981bfaa (diff) | |
Check-in remaining files
Diffstat (limited to 'xacml-proofs/.gitignore')
| -rw-r--r-- | xacml-proofs/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/xacml-proofs/.gitignore b/xacml-proofs/.gitignore index 4aab16c..d5138da 100644 --- a/xacml-proofs/.gitignore +++ b/xacml-proofs/.gitignore @@ -1 +1,3 @@ xacml-3.0-from-2.0-ct/ +.lake/ +_build/ |