diff options
| m--------- | lib/doom-modeline | 0 | ||||
| m--------- | lib/magit | 0 | ||||
| m--------- | lib/org | 0 | ||||
| m--------- | lib/proof-site | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/lib/doom-modeline b/lib/doom-modeline -Subproject ad7c7ae7e4639a9b93d66d85bdd47b66d8f6536 +Subproject ac0372958bc3acb46862fcb79302a069ef19d4f diff --git a/lib/magit b/lib/magit -Subproject 648ea6e54f061a42c05998b4d461f147baa931e +Subproject 854fb0b08e9aa0c7151c158e7f1eb0540c5235a diff --git a/lib/org b/lib/org -Subproject 38a89014abaa638c806c9869eb1ce3296329243 +Subproject ee4dbaff60300ee1b4e9d91fe1e54e9fdf9ef25 diff --git a/lib/proof-site b/lib/proof-site -Subproject 69066bf2cb97d6df74a069c3e90155e43353a2a +Subproject 6aeacf5863e6f22b86d9fb8e57380ca29fbfdda |