git command to revert a specific file to a specific revision

from: https://git-scm.com/docs/git-checkout and
from: http://stackoverflow.com/questions/215718/reset-or-revert-a-specific-file-to-a-specific-revision-using-git

git command to revert a specific file to a specific revision:

$ git checkout [commit-ref] -- [filename]
$ git checkout HEAD^ -- [filename]