diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index fb97926c7221..4680de1d779d 100644 --- a/.gitignore +++ b/.gitignore @@ -12,7 +12,7 @@ # can be listed here... These must be deleted by maek distclean # # Files that are generated by the build but deleted by make clean -# should all be under workdir or solver +# should all be under workdir or instdir # if that is not the case, don't hide it here, but try to fix it # # The intent is that after a make distclean, .gitignore @@ -22,7 +22,6 @@ # where stuff are built /instdir /workdir -/solver # where the external downloads maybe located /src |