diff options
Diffstat (limited to 'doc/texi/base/glossary.texi')
| -rw-r--r-- | doc/texi/base/glossary.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/texi/base/glossary.texi b/doc/texi/base/glossary.texi index 1a998f4b8..c10df1e9c 100644 --- a/doc/texi/base/glossary.texi +++ b/doc/texi/base/glossary.texi @@ -5,3 +5,4 @@ @set OS.solaris Solaris @set OS.unix unix @set OS.windows Windows +@set OS.mingw MinGW |