diff options
| author | fluxgen <fluxgen> | 2003-07-10 10:18:08 (GMT) |
|---|---|---|
| committer | fluxgen <fluxgen> | 2003-07-10 10:18:08 (GMT) |
| commit | 481c0faeb50b86ad4fd7b946ca9e4a94932a382f (patch) | |
| tree | 67578b8bbc0a13db6dec49b37da1b2bcff9ff334 /src/FbTk/Observer.hh | |
| parent | 51d5903898f72f0df2909d6bad426515c6361a5a (diff) | |
| download | fluxbox-481c0faeb50b86ad4fd7b946ca9e4a94932a382f.zip fluxbox-481c0faeb50b86ad4fd7b946ca9e4a94932a382f.tar.bz2 | |
patch that keeps the fbrun_history clean by not allowing
duplicates to get placed in the history. Thanks David J Burger
Diffstat (limited to 'src/FbTk/Observer.hh')
0 files changed, 0 insertions, 0 deletions