diff options
Diffstat (limited to 'Porting/Glossary')
| -rw-r--r-- | Porting/Glossary | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Porting/Glossary b/Porting/Glossary index db66cb917b..aaea2e7759 100644 --- a/Porting/Glossary +++ b/Porting/Glossary @@ -1955,6 +1955,9 @@ extensions (Extensions.U): and is typically used to test whether a particular extesion is available. +extras (Extras.U): + This variable holds a list of extra modules to install. + fflushall (fflushall.U): This symbol, if defined, tells that to flush all pending stdio output one must loop through all |