This repository has been archived on 2025-03-02. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Matthias Schiffer 42d5f27d32 For now, print desktop names instead of numbers		2011-09-06 12:54:58 +02:00
..
Phi	For now, print desktop names instead of numbers	2011-09-06 12:54:58 +02:00