Skip to content

Commit

Permalink
Updates
Browse files Browse the repository at this point in the history
  • Loading branch information
JorikSchellekens committed Jul 3, 2024
1 parent 79e5dc2 commit c1862e9
Show file tree
Hide file tree
Showing 10 changed files with 14 additions and 15 deletions.
1 change: 0 additions & 1 deletion CNAME

This file was deleted.

12 changes: 6 additions & 6 deletions asset-manifest.json
Original file line number Diff line number Diff line change
@@ -1,15 +1,15 @@
{
"files": {
"main.css": "/static/css/main.b118b733.css",
"main.js": "/static/js/main.355fc609.js",
"main.css": "/static/css/main.5814131b.css",
"main.js": "/static/js/main.a1f2b6ee.js",
"static/js/453.25d6598a.chunk.js": "/static/js/453.25d6598a.chunk.js",
"index.html": "/index.html",
"main.b118b733.css.map": "/static/css/main.b118b733.css.map",
"main.355fc609.js.map": "/static/js/main.355fc609.js.map",
"main.5814131b.css.map": "/static/css/main.5814131b.css.map",
"main.a1f2b6ee.js.map": "/static/js/main.a1f2b6ee.js.map",
"453.25d6598a.chunk.js.map": "/static/js/453.25d6598a.chunk.js.map"
},
"entrypoints": [
"static/css/main.b118b733.css",
"static/js/main.355fc609.js"
"static/css/main.5814131b.css",
"static/js/main.a1f2b6ee.js"
]
}
2 changes: 1 addition & 1 deletion index.html
Original file line number Diff line number Diff line change
@@ -1 +1 @@
<!doctype html><html lang="en"><head><meta charset="utf-8"/><link rel="icon" href="/favicon.ico"/><meta name="viewport" content="width=device-width,initial-scale=1"/><meta name="theme-color" content="#000000"/><meta name="description" content="A list of companies that provide formal verification services in crypto"/><link rel="apple-touch-icon" href="/logo192.png"/><link rel="manifest" href="/manifest.json"/><title>Formal Verification Companies in Crypto</title><script defer="defer" src="/static/js/main.355fc609.js"></script><link href="/static/css/main.b118b733.css" rel="stylesheet"></head><body><noscript>You need to enable JavaScript to run this app.</noscript><div id="root"></div></body></html>
<!doctype html><html lang="en"><head><meta charset="utf-8"/><link rel="icon" href="/favicon.ico"/><meta name="viewport" content="width=device-width,initial-scale=1"/><meta name="theme-color" content="#000000"/><meta name="description" content="A list of companies that provide formal verification services in crypto"/><link rel="apple-touch-icon" href="/logo192.png"/><link rel="manifest" href="/manifest.json"/><title>Formal Verification Companies in Crypto</title><script defer="defer" src="/static/js/main.a1f2b6ee.js"></script><link href="/static/css/main.5814131b.css" rel="stylesheet"></head><body><noscript>You need to enable JavaScript to run this app.</noscript><div id="root"></div></body></html>
4 changes: 2 additions & 2 deletions static/css/main.b118b733.css → static/css/main.5814131b.css

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions static/css/main.5814131b.css.map

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 0 additions & 1 deletion static/css/main.b118b733.css.map

This file was deleted.

1 change: 0 additions & 1 deletion static/js/main.355fc609.js.map

This file was deleted.

6 changes: 3 additions & 3 deletions static/js/main.355fc609.js → static/js/main.a1f2b6ee.js

Large diffs are not rendered by default.

File renamed without changes.
1 change: 1 addition & 0 deletions static/js/main.a1f2b6ee.js.map

Large diffs are not rendered by default.

0 comments on commit c1862e9

Please sign in to comment.