diff options
| author | Christoph Berg | 2016-05-26 11:59:18 +0000 |
|---|---|---|
| committer | Christoph Berg | 2016-05-26 11:59:18 +0000 |
| commit | 51acc620d4a015c47e09d95b4c639284ec10d645 (patch) | |
| tree | 85d2e72ea766606c635b6d3454c1ef78d7652fb7 /check_postgres.pl | |
| parent | cb80f9d653e673c2e886ee31fc357519313837c7 (diff) | |
Run "make html"
"make html" had not been run for some time, do that now.
Diffstat (limited to 'check_postgres.pl')
0 files changed, 0 insertions, 0 deletions