improved time management and pausing

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

diff --git a/vg/vg.h.REMOVED.git-id b/vg/vg.h.REMOVED.git-id
index 84063d6e6ba9d9ba745b157d8f2e45e31518a440..21725444f099c40d4353a9a885bc3819cfae083d 100644 (file)
--- a/vg/vg.h.REMOVED.git-id
+++ b/vg/vg.h.REMOVED.git-id
@@ -1 +1 @@
-b0119ecf03458ac0f3c2abe0c6a3d895c04cb336
\ No newline at end of file
+5d67f714807264699dbda5a33984ffe6e7f2cbba
\ No newline at end of file