diff options
| author | Erik Martin-Dorel | 2019-10-07 12:41:05 +0200 |
|---|---|---|
| committer | GitHub | 2019-10-07 12:41:05 +0200 |
| commit | 15ccaec24ce935de366cae08b906c130379758ce (patch) | |
| tree | 2e69009d7786522ae9ab02a51fdd78b9645431ad /pgshell/example.pgsh | |
| parent | d53ded580e30d49e7a783280fd9ba96bc9c1c39c (diff) | |
| parent | adb2ae391ea977a82408a1cbdae8f5f3e93cdcba (diff) | |
Merge pull request #443 from pi8027/topfile-unnamed
Make -topfile facility work for unnamed files
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions