diff options
| author | reduz <reduzio@gmail.com> | 2022-05-19 17:00:06 +0200 |
|---|---|---|
| committer | reduz <reduzio@gmail.com> | 2022-05-20 22:40:38 +0200 |
| commit | 45af29da8095af16729955117a165d23e77cd740 (patch) | |
| tree | 0436c59187702466a73d05caf9688a58e5935afd /editor/editor_properties.h | |
| parent | 410893ad0fb6f0d7d774b6529581d886defd6cf0 (diff) | |
Add a new HashSet template
* Intended to replace RBSet in most cases.
* Optimized for iteration speed
Diffstat (limited to 'editor/editor_properties.h')
0 files changed, 0 insertions, 0 deletions