chiark / gitweb /
pop
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 9 Aug 2012 17:17:56 +0000 (18:17 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 9 Aug 2012 17:17:56 +0000 (18:17 +0100)
meta

diff --git a/meta b/meta
index fe172895442188cca58359f72071f043844a9b93..9f6d39a0b404f49e29c47ac670d236b483104f07 100644 (file)
--- a/meta
+++ b/meta
@@ -1,6 +1,6 @@
 Version: 1
-Previous: 551d47dfed93fe49644c1d7285728fa0494f3b49
-Head: 858be0694a9217288dc360e4dd238295d2a748b7
+Previous: c19476a69719c01d0f3e0d8a173a5cf3020e91c7
+Head: 05e455315f5429046a76632f17009c350e2ad732
 Applied:
   marlin-pde-include-comment-for: 121f976406e6921f5b511f6dc4882985cf4b4133
   add-to-marlin-gitignore: 83dcad520f19d2ea6f1164b9c04e1430b679b3e2