diff options
| author | Peter Eisentraut | 2011-04-19 19:01:15 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2011-04-19 19:01:15 +0000 |
| commit | 2e8d9544752a7d68cb46f028a4f16ab0eb76c26e (patch) | |
| tree | d7481b282802d74a309af8da60d8c7e24b199c2d /src/tutorial | |
| parent | 908eb1f98bd9f81613cf4c14d6ab5877815c7b50 (diff) | |
Treat config.pl as optional in vcregress.pl
This is how build.pl treats it and how it's documented.
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions