diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2016-12-16 15:32:31 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2016-12-16 15:32:31 +0100 |
| commit | a9b984021af0544e2bb2ef082ba0c119f38b4460 (patch) | |
| tree | 6e35a47bbca7b781f200a40b8a9bb22191f373fe /git-urm | |
| parent | 9174e85d23c795d30e7f6c72c3f90177d0e04bed (diff) | |
| download | bin-a9b984021af0544e2bb2ef082ba0c119f38b4460.zip bin-a9b984021af0544e2bb2ef082ba0c119f38b4460.tar.gz | |
dia2pg: do not require 'opt'=1, just 'opt'
Diffstat (limited to 'git-urm')
0 files changed, 0 insertions, 0 deletions