| commit | 8684c86bc78c4b4c17a74705fea436e542078f84 | |
| author | Henri Verroken <hverr@fb.com> | |
| Tue, 3 May 2022 16:57:43 +0000 (3 09:57 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 3 May 2022 16:57:43 +0000 (3 09:57 -0700) | ||
| tree | 1e1c2b57a47fd2d462b127b7aa1de6aa6001d011 | treesnapshot (tar.gz zip) |
| parent | 58366b41ec418ed768cbf522c4d98c7914ab1745 | commitdiff |
Remove old unused file
Summary:
This is a file I forgot to delete when renaming `src/rs` to `src/rupro`.
The new file is in `src/rupro/hackrs/naming/naming.rs`
Reviewed By: edwinsmith
Differential Revision: D36039471
fbshipit-source-id: 76de5e2d4d3b5d35cc0457534bd69f444023efc4
Summary:
This is a file I forgot to delete when renaming `src/rs` to `src/rupro`.
The new file is in `src/rupro/hackrs/naming/naming.rs`
Reviewed By: edwinsmith
Differential Revision: D36039471
fbshipit-source-id: 76de5e2d4d3b5d35cc0457534bd69f444023efc4
| hphp/hack/src/rs/lib/naming/naming.rs | [deleted file] | blobblamehistory |