reverted last change: function_index_* ist not necessarily in namespace GiNaC
[ginac.git] / debian / dirs
1 usr/lib