Manuel Friedli manuel · he/him
0 followers · 0 following
Repositories
5
 Projects Packages Public activity Starred repositories
1
manuel pushed to feature/dropbox-nautlus-python-3-13 at linux/gentoo-overlay 2025-05-04 01:51:01 +02:00
16ec4fe8d8 Add ebuild supporting python 3.13.
manuel deleted branch feature/news-flash from linux/gentoo-overlay 2025-04-04 23:46:13 +02:00
manuel deleted branch feature/fix-news-flash from linux/gentoo-overlay 2025-04-04 23:46:10 +02:00
manuel deleted branch feature/prune-news-flash from linux/gentoo-overlay 2025-04-04 23:42:49 +02:00
manuel merged pull request linux/gentoo-overlay#163 2025-04-04 23:42:48 +02:00
Prune news-flash; it's in the GURU overlay.
manuel pushed to main at linux/gentoo-overlay 2025-04-04 23:42:48 +02:00
5a85ccb487 Merge pull request 'Prune news-flash; it's in the GURU overlay.' (#163) from feature/prune-news-flash into main
50161828b6 Prune news-flash; it's in the GURU overlay.
Compare 2 commits »
manuel created pull request linux/gentoo-overlay#163 2025-04-04 23:39:41 +02:00
Prune news-flash; it's in the GURU overlay.
manuel created branch feature/prune-news-flash in linux/gentoo-overlay 2025-04-04 23:38:39 +02:00
manuel pushed to feature/prune-news-flash at linux/gentoo-overlay 2025-04-04 23:38:39 +02:00
50161828b6 Prune news-flash; it's in the GURU overlay.
manuel closed issue manuel/labyrinth-frontend#11 2025-01-11 01:12:39 +01:00
ID input truncates large integer numbers
manuel pushed to main at manuel/labyrinth-frontend 2025-01-11 01:12:31 +01:00
79467e29f2 Merge pull request '#11: Fix ID input.' (#12) from feature/11-fix-id-input into main
0dc5c28060 #11: Fix ID input.
Compare 2 commits »
manuel deleted branch feature/11-fix-id-input from manuel/labyrinth-frontend 2025-01-11 01:12:31 +01:00
manuel merged pull request manuel/labyrinth-frontend#12 2025-01-11 01:12:29 +01:00
#11: Fix ID input.
manuel created pull request manuel/labyrinth-frontend#12 2025-01-11 01:12:22 +01:00
#11: Fix ID input.
manuel created branch feature/11-fix-id-input in manuel/labyrinth-frontend 2025-01-11 01:12:04 +01:00
manuel pushed to feature/11-fix-id-input at manuel/labyrinth-frontend 2025-01-11 01:12:04 +01:00
0dc5c28060 #11: Fix ID input.
manuel opened issue manuel/labyrinth-frontend#11 2025-01-11 00:49:05 +01:00
ID input truncates large integer numbers
manuel pushed to main at manuel/labyrinth-frontend 2025-01-11 00:31:15 +01:00
9b52470f6b Merge pull request '#9: make the user-chosen path more clear to see.' (#10) from feature/9-improve-display-of-solution into main
9efd718c9c #9: make the user-chosen path more clear to see.
Compare 2 commits »
manuel deleted branch feature/9-improve-display-of-solution from manuel/labyrinth-frontend 2025-01-11 00:31:15 +01:00
manuel merged pull request manuel/labyrinth-frontend#10 2025-01-11 00:31:14 +01:00
#9: make the user-chosen path more clear to see.