Graph Editor: this gadget needs jquery mobile for .popup

07c3cd59 · Jérome Perrin · Ioannis Papagiannopoulos · 0a2d5392 · 07c3cd59
Commit 07c3cd59 authored Nov 25, 2014 by Jérome Perrin Committed by Ioannis Papagiannopoulos Dec 18, 2014
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

dream/platform/src/jsplumb/index.html dream/platform/src/jsplumb/index.html +1 -0

No files found.
--- a/dream/platform/src/jsplumb/index.html
+++ b/dream/platform/src/jsplumb/index.html
@@ -7,6 +7,7 @@

    <script src="../<%= curl.jquery.relative_dest %>"></script>
    <script src="../<%= curl.jqueryuijs.relative_dest %>"></script>
+    <script src="../<%= curl.jquerymobilejs.relative_dest %>"></script>
    <script src="../<%= copy.rsvp.relative_dest %>"></script>
    <script src="../<%= copy.renderjs.relative_dest %>"></script>
    <script src="../<%= curl.jsplumbjs.relative_dest %>"></script>