Peter Eisentraut f6f9f8a24c doc: Tweak CSS ...

Tweak CSS a bit to match latest similar changes to web site style.  Also
move some CSS out of the HTML to the stylesheet so that the web site
stylesheet can override it.  This should ensure that notes and such are
back to being centered.

2017-04-12 15:41:41 -04:00

..

src

doc: Tweak CSS

2017-04-12 15:41:41 -04:00

bug.template

Stamp HEAD as 10devel.

2016-08-15 13:49:49 -04:00

KNOWN_BUGS

…

Makefile

Remove maintainer-check target, fold into normal build

2013-10-10 20:11:56 -04:00

MISSING_FEATURES

…

TODO

…