-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 10/16/14 15:08, Christopher Zimmermann wrote:
> Thanks for the hints! So is the following diff OK? ok giovanni@ > Someone told me CVS > will clean up the empty directories on its own, doesn't it? > sthen@ has been exhaustive. Cheers Giovanni -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBAgAGBQJUP+Y3AAoJEI7Sc79XDlKKBwkH/0cvnzbOuiVBWaFhYEG/8pQ+ UdOwBR/ssU8x8TVbTTY4wBrfLXhQeLKKwd3+kzgjs0aVrTJ/87z4TK+6f7tzUl/C DX/OcWZMAjFGFTIBxr3Yt8ENGYEJaqdp6rGvVYvCC5QupllEtluWye8UGOk6XP0g +zcxGQfMhTAaPSuPfv83O+pNDDelX/jeLWKcHDlo0tzTc4ozyUahMRGX/dGhPgqQ EXjD7c4GLpXucxkJJoFHHZmBdRjQmMSpmj5z7N/a4EfzljruoInSkbshzzwFr/7Z oX6rJoLe0sdWBwIWvsGyuFIrunZDkLNpEltV8/EEgzW4QWDdXsvTkEJQk4SaxWg= =mjP3 -----END PGP SIGNATURE-----