diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-26 14:30:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-26 14:30:20 +0100 |
| commit | 689db68822ad48a75a595e3dae17388dbbf64c10 (patch) | |
| tree | 8d3bdf80154410444098b8e595f7255537de15ca /modules/regex | |
| parent | fe26e53065827f83bb5f720d1b20e83850624d8c (diff) | |
| parent | 3697ea799c6076bc22af3fdb584f31eb9243c759 (diff) | |
Merge pull request #35583 from akien-mga/doc-projectsettings
doc: Document all remaining ProjectSettings
Diffstat (limited to 'modules/regex')
0 files changed, 0 insertions, 0 deletions