Better text encoding (option A)#16
Draft
Tom32i wants to merge 40 commits into
Draft
Commits
Commits on Nov 7, 2018
- authored
Commits on Nov 11, 2018
- committed
- committed
- authored
Commits on Nov 30, 2018
- committed
- committed
Commits on Dec 2, 2018
- committed
Commits on Dec 3, 2018
- committed
- committed
- authored
- committed
- committed
- committed
Commits on Dec 5, 2018
- committed
- committed
Commits on Dec 13, 2018
- committed
- committed
- committed
- authored
- committed
Commits on Dec 21, 2018
- committed
Thomas Jarrand
Commits on Dec 23, 2018
Commits on Dec 27, 2018
- committedThomas Jarrand
- authored
Commits on Apr 6, 2020
- committedThomas Jarrand
Commits on Apr 24, 2020
- committed
- committed
- committed
Commits on Jul 20, 2020
- committedThomas Jarrand
- committedThomas Jarrand
- committedThomas Jarrand
Commits on Aug 27, 2020
- committedThomas Jarrand
Commits on Oct 3, 2020
- authored
Commits on Nov 19, 2020
- committedThomas Jarrand
Commits on Dec 11, 2020
- authored
Commits on Dec 13, 2020
- committed
Commits on May 11, 2021
- committedThomas Jarrand
- committedThomas Jarrand
Commits on Jan 19, 2023
- committed
Commits on Jun 25, 2024
- committed