Added the time system call as per the draft of the CACM paper.

2016-03-03 12:12:18 +10:00
parent e9398b2bd0
commit 747d1f4466
2 changed files with 35 additions and 1 deletions
@@ -12,3 +12,7 @@ To bring your own local repository up to date with Github:

 To recover a delete file $file:
 git checkout $(git rev-list -n 1 HEAD -- "$file")^ -- "$file"
+
+To see the log of changes to one file
+ 	git log -- file
+