# HG changeset patch # User paulson # Date 1122562459 -7200 # Node ID 6d21767178e6acf6a8a777dc165df872def7df20 # Parent e7f0f41d513afefb251f2dba1d1e2c9923440eff new droplet diff -r e7f0f41d513a -r 6d21767178e6 Admin/website/dist/misc/isabelle_droplet.dmg Binary file Admin/website/dist/misc/isabelle_droplet.dmg has changed