diff --git a/.gitignore b/.gitignore index 267f5ee03c..5b860ba55d 100644 --- a/.gitignore +++ b/.gitignore @@ -187,6 +187,7 @@ extsrc/ tmp/ tmpdebug/ gentests/ +inst/ ## Ninja build.ninja