MacDue 7a538c1e39 Base: Correctly set border thickness in Cupertino theme ...

This has the same look as before, but the extra thickness is needed as
the border radius no longer changes the thickness the window frame is
painted.

2022-03-02 21:56:57 +01:00

..

bin

…

etc

Base: Associate mp3 files with SoundPlayer

2022-02-26 16:01:26 +01:00

home/anon

Base: Add the flag emoji for Hesse (DE-HE)

2022-03-02 21:06:05 +01:00

res

Base: Correctly set border thickness in Cupertino theme

2022-03-02 21:56:57 +01:00

root

Base: Remove TelnetServer and WebServer from the generated manpage list

2022-02-28 20:30:35 +02:00

usr

Kernel: Change PCI access commandline option to also represent no access

2022-03-02 18:41:54 +01:00

www

Base: Improve default WebServer pages

2022-02-23 21:28:17 +00:00