Variable: srecode-extract-state
srecode-extract-state is a variable without a source file.
This variable is obsolete since 25.1; use 'srecode-extract-state instead
Value
srecode-extract-state
Documentation
The current extraction state.