curl - cURL mirror with patches applied

Age	Commit message (Collapse)	Author
2016-12-17	cmdline-opts: include the man page split up files in the dist	Daniel Stenberg

2016-12-16	cmdline-opts: added some missing info	Daniel Stenberg

2016-12-16	cmdline-opts/page-header: mention it is generated	Daniel Stenberg
	... to avoid people from trying to edit the pending curl.1 version that gets generated by gen.pl
2016-12-16	preproxy: renamed what was added as SOCKS_PROXY	Daniel Stenberg
	CURLOPT_SOCKS_PROXY -> CURLOPT_PRE_PROXY Added the corresponding --preroxy command line option. Sets a SOCKS proxy to connect to _before_ connecting to a HTTP(S) proxy.
2016-11-28	cmdline-docs: more options converted and fixed	Daniel Stenberg
	Now all options are in the new system.
2016-11-28	gen: include footer in mainpage output	Daniel Stenberg

2016-11-28	cmdline-opts: more command line options documented	Daniel Stenberg
	Moved over to the new format
2016-11-16	cmdline-docs: more conversion	Daniel Stenberg

2016-11-16	gen: support 'protos'	Daniel Stenberg
	and warn on unrecognized lines
2016-11-16	gen: support 'single' to make an individual page man page	Daniel Stenberg

2016-11-16	cmdline-docs: more options converted over	Daniel Stenberg

2016-11-16	gen: support 'redirect'	Daniel Stenberg
	... and warn for too long --help lines
2016-11-16	cmdline/gen: replace options in texts better	Daniel Stenberg

2016-11-15	docs: Spelling fixes	Alex Chan

2016-11-15	cmdline-opts: support generating the --help output	Daniel Stenberg

2016-11-13	cmdline-opts: first test version of a new man page generator kit	Daniel Stenberg
	See MANPAGE.md for the description of how this works. Each command line option is now described in a separate .d file.