Peter Eisentraut a06e56b247 doc: Update redirecting links ... Update links that resulted in redirects. Most are changes from http to https, but there are also some other minor edits. (There are still some redirects where the target URL looks less elegant than the one we currently have. I have left those as is.)		2018-07-16 10:48:05 +02:00
..
src	doc: Update redirecting links	2018-07-16 10:48:05 +02:00
bug.template	Stamp HEAD as 12devel	2018-06-30 12:47:59 -04:00
KNOWN_BUGS	Remove extra newlines at end and beginning of files, add missing newlines	2010-08-19 05:57:36 +00:00
Makefile	Remove maintainer-check target, fold into normal build	2013-10-10 20:11:56 -04:00
MISSING_FEATURES	Remove extra newlines at end and beginning of files, add missing newlines	2010-08-19 05:57:36 +00:00
TODO	Change documentation references to PG website to use https: not http:	2017-05-20 21:50:47 -04:00