chore: add logs to .gitignore
This commit is contained in:
2
.gitignore
vendored
2
.gitignore
vendored
@@ -224,7 +224,7 @@ docs/*
|
|||||||
|
|
||||||
# Generated files
|
# Generated files
|
||||||
agentspeak.asl
|
agentspeak.asl
|
||||||
|
experiment-*.log
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user