Javi,

What is the difference between these two files?  Their content is
current the same so I am confused why there needs to be two in
dist/bin/default/pref/

Thanks,

Reply via email to