diff options
-rwxr-xr-x | index.html | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -15,6 +15,8 @@ <script type="text/javascript" src="details.js"></script> <script type="text/javascript" src="setup.js"></script> + <script type="text/javascript" src="combined.js"></script> + <script type="text/javascript"> // Stores edgeState for every recently created edge in updateFixedTerminalPoint() function var edgeState = {}; |