diff --git a/.gitignore b/.gitignore index aab941b69e009b963a92f47aa360ea0bc5b75ac3..57668230c5ffb95312b69cde35307add5c4ecc18 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,7 @@ build 3rdparty install +dist doc/html # patterns