proxy-mode set package default proxy unless user have not set them
commit6baff40c3f8241f0d83811bf224ef835128b3a6d
authorstardiviner <numbchild@gmail.com>
Fri, 3 Mar 2023 03:11:54 +0000 (3 11:11 +0800)
committerstardiviner <numbchild@gmail.com>
Fri, 3 Mar 2023 05:24:56 +0000 (3 13:24 +0800)
treef900933502e75c41a8dfbdc138c9e315d90b6fe1
parentf38264ec0c829d7f47a49f20b4e8b7729aceeb72
proxy-mode set package default proxy unless user have not set them
proxy-mode.el