diff options
| author | Prefetch | 2021-11-07 19:34:18 +0100 |
|---|---|---|
| committer | Prefetch | 2021-11-07 19:34:18 +0100 |
| commit | 62759ea3f910fae2617d033bf8f878d7574f4edd (patch) | |
| tree | b958409ec1870e916e6f3a2ca91fc1aae4e1f3c5 /.gitignore | |
| parent | f091bf0922c26238d16bf175a8ea916a16d11fba (diff) | |
Expand knowledge base, reorganize measure theory, update gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ +/.hugo_build.lock /public/* /sources/**/*.aux /sources/**/*.log |