diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2021-04-28 11:15:08 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2021-04-28 11:15:08 +0200 |
| commit | d684ef039da7db875e4872c9b82016aaba246efc (patch) | |
| tree | c8d6d9001d7c134ab2942459bfef4221441feb18 | |
| parent | 2d4da40bdfb1aaed8f0f260a1ac650ef93a2c4f1 (diff) | |
git: Ignore generated low.texi.
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -48,6 +48,7 @@ /doc/stamp-vti /doc/version.texi /doc/version-*.texi +/doc/low.texi /m4/* /pre-inst-env /test-env |