[Valgrind-users] License of the Valgrind User Manual?

[Aleksander <val...@al...>]

Hi all,

Is there any specific license for the Valgrind User Manual? GFDL?

Cheers,
-Aleksander