diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-05 15:04:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-05 15:04:31 +0200 |
| commit | 27dab233d9d7ccf148a9779db1bc3a3dbdc329f4 (patch) | |
| tree | e9135ae88b3e591cfd3a83674b899d21d4447ba4 /modules/mono/config.py | |
| parent | 0a4065e5146e172896c25151a1acdc9b4a7f684e (diff) | |
| parent | 0c75cac7dee57f6ae2ab6780d4d1d2aa1119a978 (diff) | |
Merge pull request #32555 from homer666/projectsettings-docs-mistake
Fix silly mistake in ProjectSettings docs
Diffstat (limited to 'modules/mono/config.py')
0 files changed, 0 insertions, 0 deletions