Small change to comment in .gitignore

rust-lang · Feb 12, 2020 · 8f45387 · 8f45387
1 parent 893e261
commit 8f45387
Showing 1 changed file with 1 addition and 1 deletion.
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