From 4c2a335b024e6f7bfd75cc7255668c12fea56179 Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Sat, 20 Apr 2013 11:49:54 +0100
Subject: [PATCH] Record 0export version number in generated script

---
 0export | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/0export b/0export
index fcf5668..2b030a4 100755
--- a/0export
+++ b/0export
@@ -15,7 +15,7 @@ if zeroinstall_dir:
 version = '0.5'
 
 extract_header = """#!/bin/sh
-# 0export %s
+# 0export """ + version + """
 archive_offset=00000
 archive_format=application/x-tar
 package_version=2
-- 
2.11.4.GIT