chiark / gitweb /
comment out some currently-unused points
authorian <ian>
Sun, 8 Jun 2008 19:33:13 +0000 (19:33 +0000)
committerian <ian>
Sun, 8 Jun 2008 19:33:13 +0000 (19:33 +0000)
commit5cbcc32403eef86622e0500a9006dcaac8d8b832
tree4e63ba7016aae178e612b81f67b78145f154b809
parent8ef252518c9a06104e35a4626eb37e96d474b3f1
comment out some currently-unused points
hostside/gui-layout.config