diff options
author | jcid <devnull@localhost> | 2008-10-09 15:26:45 +0200 |
---|---|---|
committer | jcid <devnull@localhost> | 2008-10-09 15:26:45 +0200 |
commit | 4fea52451363423ccb2ddb74f374f265f38b1755 (patch) | |
tree | 6bf82be1582627de70043325db6b84e8daca9da9 /src/ui.hh | |
parent | 7ed06b326e8dbffd2af13ea3061576046ac1f2d4 (diff) |
- Added the double-buffer as preference patch.
Diffstat (limited to 'src/ui.hh')
0 files changed, 0 insertions, 0 deletions