Small change to comment in .gitignore

flip1995 · flip1995 · commit 8f45387490ee · 2020-02-12T09:34:26.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,4 @@
-# Used by Travis to be able to push:
+# Used by CI to be able to push:
 /.github/deploy_key
 out
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Used by Travis to be able to push:`
	`1`	`+# Used by CI to be able to push:`
`2`	`2`	`/.github/deploy_key`
`3`	`3`	`out`
`4`	`4`