Skip to content
Release

Rework word completion: Use Gee.TreeMap instead of custom prefix tree #370

Sign in to view logs

Rework word completion: Use Gee.TreeMap instead of custom prefix tree

Rework word completion: Use Gee.TreeMap instead of custom prefix tree #370

Triggered via pull request December 3, 2024 09:59
@jeremypwjeremypw
closed #1490
jeremypw/wordcompletion-treemap
Status Skipped
Total duration 3s
Artifacts –

release.yml

on: pull_request
release
0s
release
Fit to window
Zoom out
Zoom in