Skip to content

Commit 8808c1e

Browse files
committed
Remove deps/ ignoring, since the directory no longer exists
Also ignore manifests and remove the one that was erroneously checked in.
1 parent 8c3e478 commit 8808c1e

File tree

2 files changed

+1
-135
lines changed

2 files changed

+1
-135
lines changed

.gitignore

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,6 @@
11
*.jl.cov
22
*.jl.*.cov
33
*.jl.mem
4-
deps/deps.jl
5-
deps/build.log
6-
deps/downloads
7-
deps/usr
8-
deps/src
94
docs/build
105
docs/site
6+
Manifest.toml

docs/Manifest.toml

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

0 commit comments

Comments
 (0)