David Roundy 372f1e14fe switch Droundy to smartBorders (which works better with ScratchWorkspace).

2008-03-01 19:11:03 +00:00

..

Arossato.hs

Arossato: updated to latest changes

2008-02-19 16:30:58 +00:00

Dons.hs

add higher order 'dzen' function

2007-11-07 18:31:07 +00:00

Droundy.hs

switch Droundy to smartBorders (which works better with ScratchWorkspace).

2008-03-01 19:11:03 +00:00

Sjanssen.hs

Various decorations related updates

2008-01-30 06:46:24 +00:00