diff options
-rw-r--r-- | tools/nixery/.gitignore | 1 | ||||
-rw-r--r-- | tools/nixery/static/favicon.ico | bin | 0 -> 157995 bytes | |||
-rw-r--r-- | tools/nixery/static/nixery-logo.png | bin | 0 -> 79360 bytes |
3 files changed, 1 insertions, 0 deletions
diff --git a/tools/nixery/.gitignore b/tools/nixery/.gitignore index 750baebf41..1e5c28c012 100644 --- a/tools/nixery/.gitignore +++ b/tools/nixery/.gitignore @@ -1,2 +1,3 @@ result result-* +.envrc diff --git a/tools/nixery/static/favicon.ico b/tools/nixery/static/favicon.ico new file mode 100644 index 0000000000..405dbc175b --- /dev/null +++ b/tools/nixery/static/favicon.ico Binary files differdiff --git a/tools/nixery/static/nixery-logo.png b/tools/nixery/static/nixery-logo.png new file mode 100644 index 0000000000..5835cd50e1 --- /dev/null +++ b/tools/nixery/static/nixery-logo.png Binary files differ |