add directories for external tools to gitignore

41eb2bbd · Antoine Kaufmann · d90f9f28 · 41eb2bbd
Commit 41eb2bbd authored Jun 20, 2020 by Antoine Kaufmann
Show whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

.gitignore .gitignore +3 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -20,3 +20,6 @@ images/kernel/linux-*/
 experiments/build
 experiments/out
 experiments/local-config.sh
+gem5/
+qemu/
+ns-3/