Ettore Di Giacinto e53a14586a Drop $Headers$ per council decision in Gentoo-bug #611234.

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

..

angelscript

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

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