diff options
| author | Erik Martin-Dorel | 2019-07-26 16:57:15 +0000 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-07-26 20:26:13 +0200 |
| commit | a487fd21b7bd620ea470d42b2c8d9f200858e9d1 (patch) | |
| tree | 07021e17057e0dc57f731cdf9ca23fab9156be6d /pgshell | |
| parent | 057fb82fdb116ace1b3f489af3282f87fbf6a6a8 (diff) | |
fix: Add missing "Set Diffs ..." command in some backtracking case
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions