3eca920593 · Fix docs · Updated 1 year ago
6ff7e2a7dd · fix clippy complaints · Updated 1 year ago
e922afa7c3 · Use fixed gettext for the moment (on Plume-org now) · Updated 2 years ago
c9f220b272 · use newer version of rust nightly (same as plume now) · Updated 1 year ago
Deleting a branch is permanent. It CANNOT be undone. Continue?