Skip to content

Commit 6678824

Browse files
committed
update website via GitHub Actions
1 parent 54ea57d commit 6678824

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

61 files changed

+393
-8415
lines changed

404.html

Lines changed: 47 additions & 99 deletions
Large diffs are not rendered by default.

assets/javascripts/LICENSE

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
-------------------------------------------------------------------------------
2+
Third-Party licenses
3+
-------------------------------------------------------------------------------
4+
5+
Package: clipboard@2.0.11
6+
License: MIT
7+
Copyright: Zeno Rocha
8+
9+
-------------------------------------------------------------------------------
10+
11+
Package: escape-html@1.0.3
12+
License: MIT
13+
Copyright: 2012-2013 TJ Holowaychuk
14+
2015 Andreas Lubbe
15+
2015 Tiancheng "Timothy" Gu
16+
17+
-------------------------------------------------------------------------------
18+
19+
Package: focus-visible@5.2.1
20+
License: W3C
21+
Copyright: WICG
22+
23+
-------------------------------------------------------------------------------
24+
25+
Package: rxjs@7.8.2
26+
License: Apache-2.0
27+
Copyright: 2015-2018 Google, Inc.,
28+
2015-2018 Netflix, Inc.,
29+
2015-2018 Microsoft Corp. and contributors

assets/javascripts/bundle.16f8adc2.min.js

Lines changed: 3 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

assets/javascripts/bundle.f55a23d4.min.js

Lines changed: 0 additions & 16 deletions
This file was deleted.

assets/javascripts/bundle.f55a23d4.min.js.map

Lines changed: 0 additions & 7 deletions
This file was deleted.

assets/javascripts/custom.js

Lines changed: 0 additions & 180 deletions
This file was deleted.

assets/javascripts/lunr/min/lunr.ar.min.js

Lines changed: 0 additions & 1 deletion
This file was deleted.

assets/javascripts/lunr/min/lunr.da.min.js

Lines changed: 0 additions & 18 deletions
This file was deleted.

assets/javascripts/lunr/min/lunr.de.min.js

Lines changed: 0 additions & 18 deletions
This file was deleted.

0 commit comments

Comments
 (0)