diff --git a/.gitignore b/.gitignore index 4f8defe..b65e430 100644 --- a/.gitignore +++ b/.gitignore @@ -479,6 +479,7 @@ pcap*/ *.p4i *.p4rt +*_p4rt.txt #latex *.aux