K. Lange 7a20e11aea proper waitpid status values		2018-09-28 13:00:51 +09:00
..
etc	Reconfigure font-server and start it when conditions are appropriate	2018-09-21 13:13:20 +09:00
home	[python] fix some decoration bounds calculations	2018-09-26 20:50:28 +09:00
usr	proper waitpid status values	2018-09-28 13:00:51 +09:00