diff --git a/.gitignore b/.gitignore index 0a16f88aa..7af2ef24c 100644 --- a/.gitignore +++ b/.gitignore @@ -58,7 +58,6 @@ m4/ autotools/ stamp-h1 ap -doc/mlr.1 getl lemon_prepared lrim