diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-04-16 18:16:23 +0200 |
|---|---|---|
| committer | Andreas Straub <andy@strb.org> | 2014-04-18 00:17:34 +0200 |
| commit | 4a36abf30fb2d59934d5bfd121542fa82f5c98ce (patch) | |
| tree | 688bfc660b8159c80b5bddd567c5e8b6ed07bcbc /docs | |
| parent | e711da7248455a6e65146747e1017c0954e089c5 (diff) | |
added clear history dialog (no funcionality)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions