Peter Eisentraut 1c4429e703 doc: Use better placeholder in COPY synopsis

2024-05-09 16:36:51 +02:00

..

src

doc: Use better placeholder in COPY synopsis

2024-05-09 16:36:51 +02:00

KNOWN_BUGS

…

Makefile

Remove distprep

2023-11-06 15:18:04 +01:00

MISSING_FEATURES

…

TODO

…