diff options
| author | Mike Rostermund <mike@kollegienet.dk> | 2016-12-07 22:41:02 +0100 |
|---|---|---|
| committer | Mike Rostermund <mike@kollegienet.dk> | 2016-12-07 22:41:02 +0100 |
| commit | 61d9981aa0bc6ac014a03f3055ec432bc0c5089f (patch) | |
| tree | dbcd6eed331ef54329149a0b2e47b4d3f5f5501c /bin/console | |
| parent | 005d1c7ebce5f9a6b38a54d7d7bb3b36f0f8476b (diff) | |
Fix suggested by ytti for issue #610
Diffstat (limited to 'bin/console')
0 files changed, 0 insertions, 0 deletions