[Savannah-hackers] Re: bdtheme: GIF files

[mathieu]

Le jeu 04 avr 2002 à 10h20, address@hidden a écrit :
>     Hi,
>
>     Could you please remove the following GIF files from the project
> bdtheme hosted on the GNU machines ?

Sorry, it will be done in this morning.



>     while read file
>     do
>         gif2png -O $file.gif
>         cvs delete -f $file.gif
>         cvs add $file.png
>     done <<'EOF'
> bdtheme/tof/1/fond-d
> bdtheme/tof/1/fond-pasrouge-d
> bdtheme/tof/2/fond-d
> bdtheme/tof/2/fond-pasrouge-d
> bdtheme/tof/cadre-bd
> bdtheme/tof/cadre-bg
> bdtheme/tof/cadre-h
> bdtheme/tof/cadre-hd
> bdtheme/tof/cadre-hg
> bdtheme/tof/fleche-arriere-curs
> bdtheme/tof/fleche-arriere-gris
> bdtheme/tof/fleche-arriere
> bdtheme/tof/fleche-avant-curs
> bdtheme/tof/fleche-avant-gris
> bdtheme/tof/fleche-avant
> bdtheme/tof/fond-pasrouge-d
> bdtheme/tof/hr
> bdtheme/tof/moins
> bdtheme/tof/plus
> EOF
>     cvs commit -m 'Convert GIF to PNG'
>
>
>         For additional information please write to
> address@hidden
>
>         Thanks for your help,
>
>         The GNU volunteers, address@hidden

--
mathieu