]> granicus.if.org Git - curl/commit
projects / curl / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 845522c) | patch
cmdline-opts/page-header: mention it is generated
authorDaniel Stenberg <daniel@haxx.se>
Fri, 16 Dec 2016 15:07:59 +0000 (16:07 +0100)
committerDaniel Stenberg <daniel@haxx.se>
Fri, 16 Dec 2016 15:07:59 +0000 (16:07 +0100)
commit7ebd9bcfc6f42946ae04b87e513db1194ea8e7a6
treef00e29fa36bd3edb63723f5cb3caf0d69ccb9501tree | snapshot
parent845522cadb6ac9d357d68bb022a148a8c3be2e6acommit | diff
cmdline-opts/page-header: mention it is generated

... to avoid people from trying to edit the pending curl.1 version that
gets generated by gen.pl
docs/cmdline-opts/page-header diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.