ben Ben de Roo

0 Followers · 0 Following

https://ben.de-roo.org

Joined on 2025-12-18

Repositories

14

Projects Packages Public Activity Starred Repositories

ben pushed to main at ben/waste-of-space 2026-07-22 17:39:13 +02:00

33ca64bec5 Upload files to "/"

ben created pull request DEROO/DebianTweaks#2 2026-07-13 20:44:15 +02:00

GEFIXTE beter logon banner (de vorige zat typos in)

ben pushed to ben-patch-1 at ben/DebianTweaks 2026-07-13 20:43:24 +02:00

38c6405f60 Update DebianTweaks.sh

ben created pull request DEROO/DebianTweaks#1 2026-07-13 20:39:38 +02:00

betere logon banner

ben created branch ben-patch-1 in ben/DebianTweaks 2026-07-13 20:39:25 +02:00

ben pushed to ben-patch-1 at ben/DebianTweaks 2026-07-13 20:39:25 +02:00

ben pushed to ben-patch-1 at ben/DebianTweaks 2026-07-13 20:39:25 +02:00

60448ac377 Update DebianTweaks.sh

ben created repository ben/DebianTweaks 2026-07-13 20:36:36 +02:00

ben pushed to main at ben/wiki-terminal 2026-07-09 10:07:39 +02:00

3d36427c57 fix main.sh

ben pushed to main at ben/wiki-terminal 2026-07-09 10:00:38 +02:00

14beb441c1 fix main.sh

ben pushed to main at ben/wiki-terminal 2026-07-09 09:51:47 +02:00

2be6153fdd Update src/main.sh

ben pushed to main at ben/wiki-terminal 2026-07-08 10:23:23 +02:00

f7856f6b0f update readme

ben pushed to main at ben/wiki-terminal 2026-07-08 10:17:42 +02:00

f3fca466e5 fix installer

ben pushed to main at ben/wiki-terminal 2026-07-08 10:13:07 +02:00

14749a5c50 add installer

ben pushed to main at ben/wiki-terminal 2026-07-08 10:09:29 +02:00

1f11928ac3 nieuwe tree

ben pushed to main at ben/wiki-terminal 2026-07-08 10:06:44 +02:00

436c733155 Voeg README toe

ben created branch main in ben/wiki-terminal 2026-07-08 10:00:49 +02:00

ben pushed to main at ben/wiki-terminal 2026-07-08 10:00:49 +02:00

22ee7060dc eerste versie wiki-terminal

ben created repository ben/wiki-terminal 2026-07-08 09:56:06 +02:00

ben pushed to main at ben/ben.de-roo.org 2026-06-24 21:14:58 +02:00

2e9b44dae6 Update domme-converters/index.html