diff options
Diffstat (limited to '')
| m--------- | lib/doom-modeline | 0 | ||||
| m--------- | lib/ivy | 0 | ||||
| m--------- | lib/proof-site | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/lib/doom-modeline b/lib/doom-modeline -Subproject 2be5f281845824d4a1dba9706a7ae1afa86286d +Subproject 14ac6ddbeb411665dc7058a696a2bc7f94e2284 diff --git a/lib/ivy b/lib/ivy -Subproject 13df2a3219513a49b77bbcf643b242a45f480d0 +Subproject 7e0fd2e85c519e528a2afc50cf9754866eaf27c diff --git a/lib/proof-site b/lib/proof-site -Subproject 05df29f7ff065d8da45b81691c602b6cf075e4a +Subproject a921439a4eb5b0d96182748e779c78e2f6a41a5 |