TBR: devtools: Remove .v23 from all .gitignore files.

MultiPart: 4/25 Change-Id: Ic554f3dad954e212645f553a7a14ad9c0e8893bf
vanadium-archive · Feb 11, 2016 · 9c70448 · 9c70448
1 parent 515e09e
commit 9c70448
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1 @@
 /.jiri
-#TODO(nlacasse): Get rid of .v23 below once v23->jiri transition is complete.
-/.v23