[wip] update theme to get anchored headings
authorAmin Bandali <amin@gnu.org>
Tue, 4 Sep 2018 22:20:54 +0000 (18:20 -0400)
committerAmin Bandali <amin@gnu.org>
Tue, 4 Sep 2018 22:20:54 +0000 (18:20 -0400)
themes/divine

index d644508..35e3573 160000 (submodule)
@@ -1 +1 @@
-Subproject commit d6445087e8257e80135334794f2a9f45778601de
+Subproject commit 35e3573d89f0e84e28e22d9c3493cafd0891796c