diff options
author | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2018-10-15 01:24:00 +0100 |
---|---|---|
committer | Daniele Varrazzo <daniele.varrazzo@gmail.com> | 2018-10-15 01:24:00 +0100 |
commit | 0236c68da94c7ca884e3ced1b2c53ad84812678a (patch) | |
tree | 089cb41912e1ef8776eae007565bb80907e22268 /scripts/make_errors.py | |
parent | b205764fdde4549c48c27841aa17e6c7f499e808 (diff) | |
parent | c567556d7194cb5bed71a2f8df5370c9854a4574 (diff) |
Merge branch 'connection-info'
Diffstat (limited to 'scripts/make_errors.py')
0 files changed, 0 insertions, 0 deletions