diff options
Diffstat (limited to 'examples/program_analysis/ui/index.html')
| -rw-r--r-- | examples/program_analysis/ui/index.html | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/examples/program_analysis/ui/index.html b/examples/program_analysis/ui/index.html new file mode 100644 index 0000000..82cc511 --- /dev/null +++ b/examples/program_analysis/ui/index.html @@ -0,0 +1,13 @@ +<!DOCTYPE html> +<html> + <head> + <title>Sifter</title> + <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.5.0/jquery.min.js" integrity="sha256-xNzN2a4ltkB44Mc/Jz3pT4iU1cmeR0FkXs4pru/JxaQ=" crossorigin="anonymous"></script> + <script src="leader-line.min.js"></script> + <script src="plain-draggable.min.js"></script> + <link href="style.css" type="text/css" rel="stylesheet"></link> + </head> + <body> + <script src="index.js"></script> + </body> +</html> |