Skip to content
Snippets Groups Projects
Commit 27526987 authored by Philip Mueller's avatar Philip Mueller
Browse files

The file names of stdout/err used/generated by CSIBYL changed and I forgot to... 

The file names of stdout/err used/generated by CSIBYL changed and I forgot to update the ignore file.

This commit essentially amend a107080a.
parent a107080a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
analyze/sibyl/libSibyl/.gitignore
+ 2
− 0
View file @ 27526987
......@@ -25,6 +25,8 @@ AUSTAUSCH
# Ignorin the files that are used by the CSIBYL runtimes
cLibSibyl_panic.log
cLibSibyl_panic_pid*.log
cLibSibyl_out.txt
cLibSibyl_out_pid*.txt
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment