mirror of
https://github.com/rkd77/elinks.git
synced 2025-02-02 15:09:23 -05:00
Add a session parameter to get_opt_ and its wrappers in preparation for session-specific and domain-specific options.
Add a session parameter to get_opt_ and its wrappers in preparation for session-specific and domain-specific options.