equal
deleted
inserted
replaced
7 <link rel="stylesheet" href="https://unpkg.com/purecss@1.0.0/build/pure-min.css" integrity="sha384-nn4HPE8lTHyVtfCBi5yW9d20FjT8BJwUXyWZT9InLYax14RDjBj46LmSztkmNP9w" crossorigin="anonymous"> |
7 <link rel="stylesheet" href="https://unpkg.com/purecss@1.0.0/build/pure-min.css" integrity="sha384-nn4HPE8lTHyVtfCBi5yW9d20FjT8BJwUXyWZT9InLYax14RDjBj46LmSztkmNP9w" crossorigin="anonymous"> |
8 <meta name="viewport" content="width=device-width, initial-scale=1"> |
8 <meta name="viewport" content="width=device-width, initial-scale=1"> |
9 </head> |
9 </head> |
10 |
10 |
11 <body> |
11 <body> |
12 <div id="main">Please run sbt fastOptJS to build the demo. Then reload this page.</div> |
12 <div id="main">Please run mill example.fastOpt to build the demo. Then reload this page.</div> |
13 <script type="text/javascript" src="out/example/fastOpt/dest/out.js"></script> |
13 <script type="text/javascript" src="out/example/fastOpt/dest/out.js"></script> |
14 <script> |
14 <script> |
15 Example5.main(); |
15 Example5.main(); |
16 </script> |
16 </script> |
17 </body> |
17 </body> |