[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. upstream/0.8.2-47-g0b46bf7

[Alexander Dreyer]

The following commit has been merged in the master branch:
commit 0b46bf7ca63106a5225f34884b6587191cce7985
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 8 01:42:28 2013 +0100

    Correct .symbols files' names

diff --git a/debian/libpolybori-0.8.symbols b/debian/libpolybori-0.8-2.symbols
similarity index 100%
rename from debian/libpolybori-0.8.symbols
rename to debian/libpolybori-0.8-2.symbols
diff --git a/debian/libpolybori-groebner-0.8.symbols b/debian/libpolybori-groebner-0.8-2.symbols
similarity index 100%
rename from debian/libpolybori-groebner-0.8.symbols
rename to debian/libpolybori-groebner-0.8-2.symbols

-- 
polybori: Polynomials over Boolean Rings