equal
deleted
inserted
replaced
9 <meta name="viewport" content="width=device-width, initial-scale=1"> |
9 <meta name="viewport" content="width=device-width, initial-scale=1"> |
10 </head> |
10 </head> |
11 |
11 |
12 <body> |
12 <body> |
13 <div id="main">Please run sbt fastOptJS to build the demo. Then reload this page.</div> |
13 <div id="main">Please run sbt fastOptJS to build the demo. Then reload this page.</div> |
14 <script type="text/javascript" src="example/target/scala-2.12/example-fastopt.js"></script> |
14 <script type="text/javascript" src="out/example/fastOpt/dest/out.js"></script> |
15 <script> |
15 <script> |
16 Example5.main(); |
16 Example5.main(); |
17 </script> |
17 </script> |
18 </body> |
18 </body> |
19 |
19 |