3 Apr
2012
3 Apr
'12
10:54 p.m.
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