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/Screen.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/Screen.hh')
0 files changed, 0 insertions, 0 deletions