theme selection

[vg.git] / vg / vg_tex.h.REMOVED.git-id

diff --git a/vg/vg_tex.h.REMOVED.git-id b/vg/vg_tex.h.REMOVED.git-id
index ce02ef42374f3cdaca44de4b828b6e65c0283706..a6cd0da7a69a02ed7a7e8dd5b67a8622590e45d0 100644 (file)
--- a/vg/vg_tex.h.REMOVED.git-id
+++ b/vg/vg_tex.h.REMOVED.git-id
@@ -1 +1 @@
-c757b1826a42996aa643fe51259195e5d7d66c3f
\ No newline at end of file
+4c14540ca431a4b5404534dc5d44f27938e04467
\ No newline at end of file