diff options
author | Rasmus Andersson <rasmus@notion.se> | 2019-01-06 03:20:22 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2019-01-06 03:20:22 +0300 |
commit | 4ded41f4a37133a7e73156619cfb0fd8de767143 (patch) | |
tree | f3a1fe221ac925db7513108be81705c5661aca0a /.gitignore | |
parent | c6c99df95877077207f1f78f572734490d56f404 (diff) | |
download | inter-4ded41f4a37133a7e73156619cfb0fd8de767143.tar.xz |
Adds docker toolchain for a simpler build setup
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9c238042d..215a1df4e 100644 --- a/.gitignore +++ b/.gitignore @@ -18,6 +18,7 @@ build /docs/lab/_serve* /docs/lab/fonts /docs/_site +/githash.txt src/FontInspector.html src/svg |