Mon, 07 Apr 2014 23:02:29 +0200 | wenzelm | simplified blob again (amending 1e77ed11f2f7): only store file node name, i.e. the raw editor file name; | changeset | files |
Mon, 07 Apr 2014 21:23:02 +0200 | wenzelm | tuned signature -- prefer static type Document.Node.Name; | changeset | files |
Tue, 08 Apr 2014 18:48:10 +0200 | blanchet | commented out example that triggers a bug | changeset | files |