diff --git a/.gitignore b/.gitignore index 3e65003e4..1d5928af7 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,7 @@ /bin/ /emd/ /html/ +/info/ /joy/ /lib/ /libwrk/