chiark / gitweb /
pop
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 10 Aug 2012 16:20:44 +0000 (17:20 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 10 Aug 2012 16:20:44 +0000 (17:20 +0100)
meta

diff --git a/meta b/meta
index e699b00237a731a4fdde3e583adb245b146a151c..f36292c92fb77e13bf84904dbed570f7e656d8cd 100644 (file)
--- a/meta
+++ b/meta
@@ -1,6 +1,6 @@
 Version: 1
-Previous: 6088384c3dabb05705306374cee1aa51197da3fa
-Head: 0fbea35eb16f424788f2eb30d8a49dd3808f7a73
+Previous: fff3e358b3a5c9742993fb78d949714144f1e3db
+Head: cbcc7aa58ad53444050f92de0db19bfd10d1e99c
 Applied:
   marlin-pde-include-comment-for: 5b815da4d7f0a5bf87fbd2e70286f928e87b4d0d
   add-to-marlin-gitignore: 79afa80f1a7740edceceb4a4deda713d9b55960e