diff options
| author | Mario Rodas | 2017-06-19 22:13:57 -0500 |
|---|---|---|
| committer | Mario Rodas | 2017-06-19 22:13:57 -0500 |
| commit | 3f9ba5e4523f217613336644ca6530990fcf74a3 (patch) | |
| tree | 09f34f8067d4a5ca6c3f6168e1dc64746dfa267f /pgshell | |
| parent | 2db26fbfa3571f054953b785dd634d1da0664ecd (diff) | |
Fix easycrypt automode regexp
Without the string-end regexp matches all the file names which match the regexp
`.eca?`.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions