lib/logo/isabelle.bmp
author wenzelm
Thu, 02 Nov 2017 11:25:37 +0100
changeset 66988 7f8c1dd7576a
parent 53473 28ba604926f1
permissions -rw-r--r--
support alternative ancestor session;

(binary:image/x-ms-bmp)