src/Doc/ROOT
changeset 60291 4335ee20014e
parent 60288 d7f636331176
child 60484 98ee86354354
     1.1 --- a/src/Doc/ROOT	Mon May 18 16:59:09 2015 +0200
     1.2 +++ b/src/Doc/ROOT	Tue May 19 18:34:16 2015 +0200
     1.3 @@ -209,6 +209,7 @@
     1.4      "build"
     1.5      "cite-completion.png"
     1.6      "isabelle-jedit.png"
     1.7 +    "isabelle-jedit-hdpi.png"
     1.8      "output.png"
     1.9      "query.png"
    1.10      "popup1.png"