diff options
| author | Morris Jobke <hey@morrisjobke.de> | 2014-12-10 11:10:17 +0300 |
|---|---|---|
| committer | Morris Jobke <hey@morrisjobke.de> | 2014-12-10 11:10:17 +0300 |
| commit | e3de51078d4c9eb26eb7f09a98ff97c371ae9180 (patch) | |
| tree | f39ff8f56ab236514f2b69c2cde7db8074bf9777 /.idea | |
| parent | 3026cdbc809795099596d0fa8d934326ae81ac3e (diff) | |
| parent | 415411a3d5625cf3b13c7e0c0a25d378b1e49a8a (diff) | |
Merge pull request #12090 from AdamWill/google-rename-delete
google: delete original after successful rename
Diffstat (limited to '.idea')
0 files changed, 0 insertions, 0 deletions