diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-05-19 16:18:25 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-05-26 11:54:17 +0200 |
commit | c7f58dd7f0d76965a33378626ddeed3d8915d0d8 (patch) | |
tree | 98632f9139912b10d942f291839d988dd3b9b1a6 | |
parent | 5004ae26f167dc30530e65f763af673bac158ebc (diff) | |
download | dotty-c7f58dd7f0d76965a33378626ddeed3d8915d0d8.tar.gz dotty-c7f58dd7f0d76965a33378626ddeed3d8915d0d8.tar.bz2 dotty-c7f58dd7f0d76965a33378626ddeed3d8915d0d8.zip |
Rename `dotty` script to `dotr`
-rwxr-xr-x | bin/dotr (renamed from bin/dottyr) | 0 |
1 files changed, 0 insertions, 0 deletions