K. Lange 1050d76c87 decoration sizes can change

2018-09-25 20:52:51 +09:00

..

etc

Reconfigure font-server and start it when conditions are appropriate

2018-09-21 13:13:20 +09:00

home

decoration sizes can change

2018-09-25 20:52:51 +09:00

usr

add unsetenv

2018-09-23 12:06:25 +09:00