diff options
| author | James Maa <jmaa@berkeley.edu> | 2024-06-14 13:24:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-14 20:24:44 +0000 |
| commit | 0283b298af2d04c7bc013fad7db5966d651f0142 (patch) | |
| tree | 9c66d07666413665ec7d7c624d119aea94747609 /ext/permissions.html | |
| parent | 3dda522244ed5d7c20636a115c516d2cff5850fb (diff) | |
Disable capitalized-comments (#1072)
* Disable capitalized-comments
* Remove capitalized-comments
Diffstat (limited to 'ext/permissions.html')
0 files changed, 0 insertions, 0 deletions