merge in doc from MIR_1_0
authormh <mh>
Sun, 8 Dec 2002 07:05:56 +0000 (07:05 +0000)
committermh <mh>
Sun, 8 Dec 2002 07:05:56 +0000 (07:05 +0000)
commit14056d8a61e9e0d01d0de17cff2d9e548cc8e3ed
tree66f64868c3e8eced23099187305c485878ec31a1
parent176c14736cac0bceef3651e8677feb5de6e9bd99
merge in doc from MIR_1_0
doc/CODINGSTYLE [new file with mode: 0755]
doc/KNOWN_BUGS [new file with mode: 0755]
doc/MAINTENANCE.postgresql [new file with mode: 0755]
doc/README [new file with mode: 0755]
doc/REPORTING_BUGS [new file with mode: 0755]