Emil Ernerfeldt
|
d0876a1a60
|
Rename `master` branch to `main` (#7034)
For consistency with other repositories, i.e. so I can write `git
checkout main` without worrying which repo I'm browsing.
|
2025-05-08 09:15:42 +02:00 |
Jozef Číž
|
33aa4d698f
|
Fix typos (#2866)
* Fix typos in comments
* Fix typos in demo texts
* Fix typos in code names
* Fix typos in cargos
* Fix typos in changelogs
|
2023-04-18 15:52:45 +02:00 |
|
Emil Ernerfeldt
|
2453756782
|
Fix broken GitHub source links due to #1940
|
2022-08-20 15:18:02 +02:00 |
|
Emil Ernerfeldt
|
041f2e64ba
|
Move all crates into a `crates` directory (#1940)
|
2022-08-20 10:41:49 +02:00 |