diff options
author | 2000-09-23 14:26:21 +0000 | |
---|---|---|
committer | 2000-09-23 14:26:21 +0000 | |
commit | 4905f4712b7e272b4d6eae3f703abee06745daa7 (patch) | |
tree | 3e07c432b14422139a0cd8d0bffb80d2a04eafa3 /images/isabelle_transparent.gif | |
parent | 65e8ad32780ff96683e578021bd08b03c3d4024a (diff) |
Remove obsolete xbms
Diffstat (limited to 'images/isabelle_transparent.gif')
0 files changed, 0 insertions, 0 deletions