diff --git a/.gitignore b/.gitignore index 072134440aec4d794df68bd94aa6fb41d1a48628..443b678cc403fdbb5010386d8564041f96cb421d 100644 --- a/.gitignore +++ b/.gitignore @@ -60,7 +60,6 @@ build/ # misc fc-pregmod -FCHost/* bin/* *.outline *.todo