Ettore Di Giacinto 7dcb00929a Drop headers per council decision in Gentoo-bug #611234 (leftovers)

2017-03-24 00:40:56 +01:00

..

gmsh

Drop headers per council decision in Gentoo-bug #611234 (leftovers)

2017-03-24 00:40:56 +01:00

grits

Drop $Headers$ per council decision in Gentoo-bug #611234.

2017-03-23 16:24:12 +01:00

gsl

Drop $Headers$ per council decision in Gentoo-bug #611234.

2017-03-23 16:24:12 +01:00

rsl

Drop $Headers$ per council decision in Gentoo-bug #611234.

2017-03-23 16:24:12 +01:00

symbolic

Drop $Id$ per council decision in Gentoo-bug #611234.

2017-03-05 11:27:52 +01:00