diff options
| author | Maxime Dénès | 2017-01-09 08:20:34 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-01-09 08:20:34 +0100 |
| commit | d7f8b955625b6e5d88e6e78ca133e91b35fca09e (patch) | |
| tree | d041809fc1ed5d8c0c5e474039195bb2fd743e15 /dev | |
| parent | 50c7e47da5e9eac9228ff0e2feeb283fcfebe1bc (diff) | |
| parent | a79a62c9fb5690ff1043d9c0dd44f61cd535cc12 (diff) | |
Merge remote-tracking branch 'github/pr/350' into trunk
Was PR#350: tclDISPATCH: more informative error message
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions