summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
m---------lib/doom-modeline0
m---------lib/magit0
m---------lib/org0
m---------lib/proof-site0
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