commit | ae136c810a2f7ba8a90a4a47dcccb71a4c641212 | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Tue Nov 17 21:17:06 2015 -0800 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Wed Nov 18 05:51:29 2015 +0000 |
tree | 5547ba1e4820cdf99315a38028303735d0afeadf | |
parent | 87557bd6ad898a0b0fece40aec551537fa11c490 [diff] |
TBR: v.io/jiri/profiles/commandline: cleanup rm-all needs to chmod profiles dir. Change-Id: I18d08d2a45d99efc9ddddb48612474187189461d
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri