Use the proper git command to revert a file ("git checkout VERSION")

This commit was SVN r28271.

contrib/dist/make_dist_tarball

@@ -10,7 +10,7 @@
 #                         University of Stuttgart.  All rights reserved.
 # Copyright (c) 2004-2005 The Regents of the University of California.
 #                         All rights reserved.
-# Copyright (c) 2008-2012 Cisco Systems, Inc.  All rights reserved.
+# Copyright (c) 2008-2013 Cisco Systems, Inc.  All rights reserved.
 # $COPYRIGHT$
 # 
 # Additional copyrights may follow
@@ -416,7 +416,7 @@ if test -d .svn; then
 elif test -d .hg; then
     hg revert VERSION
 elif test -d .git; then
-    git revert VERSION
+    git checkout VERSION
 fi
 
 echo " "