Skip to main content

Browse the archive

Revision f7a8c3f93af5c7a0bd12578f18ec5cf5be1714ae authored by Dmitri Naumov on 27 June 2023, 11:45:46 UTC, committed by Dmitri Naumov on 27 June 2023, 21:09:38 UTC 
[PL/DS] Use unordered set for faster isDeactivated
1 parent 071980e
Raw File
.markdownlint.yaml 
comment: OpenGeoSys rules
default: true
line-length: false
no-inline-html: false
no-duplicate-heading: false
first-line-h1: false
no-bare-urls: false
back to top