$HEADER (FWEB)

Next: $HOME, Previous: $GETENV, Up: Built-in functions [Contents][Index]

7.2.3.20 `$HEADER`: Value of RCS global keyword `Header`

Equivalent to ‘$KEYWORD(Header)’. See $KEYWORD.