diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-08-03 16:52:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-08-03 16:52:09 +0000 |
| commit | e513f14c6b12589cae2ebb9557a920900eb7900a (patch) | |
| tree | 05671a302c33f9936596ab84da2170c25986df59 /images/isabelle-badge.xcf | |
| parent | 05369d6fea569e81da8b1af708f9241b5ac74287 (diff) | |
x-symbol-isabelle-electric-ignore: include [[ ]];
Diffstat (limited to 'images/isabelle-badge.xcf')
0 files changed, 0 insertions, 0 deletions