- Jul 03, 2023
-
-
Matiss Janis Aboltins authored
Closes #1236 --------- Co-authored-by:
Jed Fox <git@jedfox.com>
-
- Jun 23, 2023
-
-
Trevor Farlow authored
Co-authored-by:
Jed Fox <git@jedfox.com>
-
- Jun 15, 2023
-
-
Shazib Hussain authored
As discussed in #1126 creating separate PRs. The linter rule isn't actually part of this first PR and will likely be in the final PR as otherwise it will just fail because all the issues aren't resolved. The code is 'ready' though so as soon as this is merged I will open next one(s)
-
- Jun 01, 2023
-
-
Tom French authored
-
- May 10, 2023
-
-
Jed Fox authored
Fixes #1021
-
- May 09, 2023
-
-
Alberto Gasparin authored
-
- Mar 28, 2023
-
-
Alberto Gasparin authored
-
- Mar 24, 2023
-
-
Jed Fox authored
Seems to build fine, will test later.
-
- Mar 08, 2023
-
-
Vincent Schmandt authored
This implements a simple indicator showing the user if the currently used version is outdated by utilising GitHub tags to track the latest version. Closes #463 --------- Co-authored-by:
Jed Fox <git@jedfox.com>
-
- Apr 29, 2022
-
-
James Long authored
-