mirror of
https://github.com/rkd77/elinks.git
synced 2025-06-30 22:19:29 -04: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.