diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-27 11:22:51 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-27 11:22:51 +0000 |
| commit | 7cdbe8e7a34e1eda300f4756c4a66ff9be027368 (patch) | |
| tree | 59492e07f473cd554da4d1cf1151ba411b41244f /doc/quick-editor.gif | |
| parent | e7d1aa58f764651fc676c95b23f43457b1b91dfa (diff) | |
more obsolete doc rm'd
Diffstat (limited to 'doc/quick-editor.gif')
| -rw-r--r-- | doc/quick-editor.gif | bin | 109112 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/quick-editor.gif b/doc/quick-editor.gif Binary files differdeleted file mode 100644 index 0cbe42073..000000000 --- a/doc/quick-editor.gif +++ /dev/null |
