Peter Eisentraut 00f6d5c2c3 doc: Avoid sidebar element ... The formatting of the sidebar element didn't carry over to the new tool chain. Instead of inventing a whole new way of dealing with it, just convert the one use to a "note".		2017-08-29 19:33:24 -04:00
..
sgml	doc: Avoid sidebar element	2017-08-29 19:33:24 -04:00
Makefile	Remove maintainer-check target, fold into normal build	2013-10-10 20:11:56 -04:00