Hi,

I've executed `make distclean' but there are still modified *.po
files. Is there a way to revert those changes other than doing `git
reset --hard HEAD', i.e. make <some>clean?

Thanks

Reply via email to