diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-22 11:52:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-22 11:52:13 +0200 |
| commit | 22457b907efcbf7121c8451799de6d800c4fd430 (patch) | |
| tree | 6bd572de090d62b78f5e687cf1a6f0458ef03b2f /modules/mono | |
| parent | 828dc8e19c784ac27d8ed6de98c52cd55a823990 (diff) | |
| parent | a6562cd0048f1dadb3c1ab2f8583e21251634365 (diff) | |
Merge pull request #28234 from Paulb23/connection_info_on_script
Display connection information in the script editor
Diffstat (limited to 'modules/mono')
0 files changed, 0 insertions, 0 deletions