diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2023-11-17 12:43:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-17 12:43:54 +0100 |
commit | 80de898d721f952dac0b102d48bb73d6b02ee1e8 (patch) | |
tree | c65d749d59acfb9b2a95a091bca09e37e8a6b1a5 /platform_methods.py | |
parent | ad72de508363ca8d10c6b148be44a02cdf12be13 (diff) | |
parent | c7f650410526a75594868ea0e2854dc68b2d607e (diff) | |
download | redot-engine-80de898d721f952dac0b102d48bb73d6b02ee1e8.tar.gz |
Merge pull request #85006 from Calinou/makerst-index-disallow-page-comments
makerst: Disallow user-contributed notes on the class index page
Diffstat (limited to 'platform_methods.py')
0 files changed, 0 insertions, 0 deletions