git://git.onelab.eu / plcapi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5defaa0)
same tagging issue again - I have fixed the cause but this needs to be repaired
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 Apr 2010 15:52:52 +0000 (15:52 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 Apr 2010 15:52:52 +0000 (15:52 +0000)
PLCAPI.spec patch | blob | history

diff --git a/PLCAPI.spec b/PLCAPI.spec
index c0d6e95..78e3948 100644 (file)
--- a/PLCAPI.spec
+++ b/PLCAPI.spec
@@ -6,7 +6,7 @@
 
 %define name PLCAPI
 %define version 5.0
-%define taglevel 6
+%define taglevel 7
 
 %define release %{taglevel}%{?pldistro:.%{pldistro}}%{?date:.%{date}}
 
plcapi