From 46274a55c6c9a9e49a99e5def580cc70978cb770 Mon Sep 17 00:00:00 2001
From: Anders Nilsson <anders.nilsson@control.lth.se>
Date: Wed, 11 Oct 2017 11:42:16 +0200
Subject: [PATCH] Phony change
---
git-tutorial.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/git-tutorial.tex b/git-tutorial.tex
index 991d286..eb37c40 100644
--- a/git-tutorial.tex
+++ b/git-tutorial.tex
@@ -51,7 +51,7 @@ first two reasons listed below:
\end{figure}
-But why use git instead of cvs, subversion, clearcase, or any other
+But why use git instead of CVS, subversion, clearcase, or any other
well-known version control tool?
\begin{itemize}
\item Git is free, both as in speech and in beer, unlike Clearcase,
--
GitLab