X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=williams-queue%2F.gitignore;fp=williams-queue%2F.gitignore;h=7023c35e2ad77853a39ed11c190ab0c058e1559e;hb=adc372d8af13fdc07eba357f0c6de4319dbfce10;hp=0000000000000000000000000000000000000000;hpb=c2ac1e3d5e63916c9f08a2847a9bc178040c82f5;p=model-checker-benchmarks.git

diff --git a/williams-queue/.gitignore b/williams-queue/.gitignore
new file mode 100644
index 0000000..7023c35
--- /dev/null
+++ b/williams-queue/.gitignore
@@ -0,0 +1 @@
+williams-queue