diff options
| author | fluxgen <fluxgen> | 2003-08-26 23:48:19 (GMT) |
|---|---|---|
| committer | fluxgen <fluxgen> | 2003-08-26 23:48:19 (GMT) |
| commit | fe6b6f91723beaf0f7194f01884efd57ec2d34eb (patch) | |
| tree | 49aeed26141e5509a7260d818f029f32f02ab3e1 /src/WorkspaceNameTool.hh | |
| parent | 9d3b8d55ff550e4bf62275b6193ae6feb7d60056 (diff) | |
| download | fluxbox_paul-fe6b6f91723beaf0f7194f01884efd57ec2d34eb.zip fluxbox_paul-fe6b6f91723beaf0f7194f01884efd57ec2d34eb.tar.bz2 | |
workspace name setting tool
Diffstat (limited to 'src/WorkspaceNameTool.hh')
0 files changed, 0 insertions, 0 deletions