[Pkg-ocaml-maint-commits] [SCM] polygen packaging branch, master, updated. debian/1.0.6.ds2-9-8-geba5247

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 8dd282239f377b1db22ca4c25145649aa140f25f
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Jun 22 21:20:57 2010 +0200

    patch to fix typo in data

diff --git a/debian/patches/02-grammar-typos.patch b/debian/patches/02-grammar-typos.patch
new file mode 100644
index 0000000..677ed4f
--- /dev/null
+++ b/debian/patches/02-grammar-typos.patch
@@ -0,0 +1,11 @@
+--- polygen//grm/eng/manager.grm	2010-06-22 20:41:57.000000000 +0200
++++ polygen.new//grm/eng/manager.grm	2010-06-22 21:15:58.000000000 +0200
+@@ -54,7 +54,7 @@
+ 
+ Noun ::= systems | tools | controls | applications | projects | engines
+       |  services | providers | portals | [application] servers | solutions | strategies
+-      |  architectures | tecnologies | politicies
++      |  architectures | technologies | politicies
+ ;
+ 
+ Adjective ::= Internet [^"-"^(based | oriented | like | native | mobile)] [Genitive]

-- 
polygen packaging