The following commit has been merged in the master branch:
commit c9f7d0c7dccad209719cbdc5010eb347343321eb
Author: Giovanni Mascellani
Date: Fri May 14 23:54:14 2010 +0200
Removed dpatch invocation
diff --git a/debian/rules b/debian/rules
index f7c6e74..d165f8d 100755
--- a/debian/rules
++
The following commit has been merged in the master branch:
commit 9d9075246d3e29384a9b7b2b04c2b6670c130485
Author: Giovanni Mascellani
Date: Fri May 14 23:51:48 2010 +0200
Fixed libjgrapht0.8-java binary dependency
diff --git a/debian/control b/debian/control
index 095bf6a..ff56d92 100644
The following commit has been merged in the master branch:
commit 10871824ad37132ef8f6922dab9dd2d72e46a714
Author: Giovanni Mascellani
Date: Fri May 14 23:51:36 2010 +0200
Removed dpatch dependency
diff --git a/debian/control b/debian/control
index 7880442..095bf6a 100644
--- a/debian/cont
The following commit has been merged in the master branch:
commit ffa5d08ac0032ebd4c3f86e8c8872ab2c122030e
Author: Giovanni Mascellani
Date: Fri May 14 23:50:59 2010 +0200
Patches descriptions fixed
diff --git a/debian/patches/100_surveyor.diff b/debian/patches/100_surveyor.diff
index 3dc1
The following commit has been merged in the master branch:
commit a23158acc1dcb62db694efd1d38f51908649f87d
Author: Giovanni Mascellani
Date: Fri May 14 23:44:56 2010 +0200
Mods fixed
diff --git a/debian/patches/100_surveyor.diff b/debian/patches/100_surveyor.diff
old mode 100755
new mode 1
The following commit has been merged in the master branch:
commit 8efd4b501251e77038634d52fc4f2941474de924
Author: Giovanni Mascellani
Date: Fri May 14 23:43:34 2010 +0200
Moved to quilt
diff --git a/debian/patches/00list b/debian/patches/00list
deleted file mode 100644
index 25902b9..
The following commit has been merged in the master branch:
commit d5cbf7cb8cb94036fe6bef05a85a7042e15c5ce9
Author: Giovanni Mascellani
Date: Fri May 14 23:26:16 2010 +0200
3.0 (quilt)
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 000..163aaf8
--- /
7 matches
Mail list logo