diff options
Diffstat (limited to 'src/doc/rustc-dev-guide/josh-sync/README.md')
| -rw-r--r-- | src/doc/rustc-dev-guide/josh-sync/README.md | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/doc/rustc-dev-guide/josh-sync/README.md b/src/doc/rustc-dev-guide/josh-sync/README.md deleted file mode 100644 index a3dd876e8b8..00000000000 --- a/src/doc/rustc-dev-guide/josh-sync/README.md +++ /dev/null @@ -1,4 +0,0 @@ -# Git josh sync -This utility serves for syncing the josh git subtree to and from the rust-lang/rust repository. - -See CLI help for usage. |