diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-09-09 15:54:11 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-09-17 18:07:17 +0200 |
| commit | 07b757bb49f8b663a89a68d32e2c7de0eb33b1f0 (patch) | |
| tree | e21dc05f5a267581429e5e63d85b2bb6e81b5fcf /project/build.properties | |
| parent | e54dd1aabcd1e785e3393f1f788c145c0e9926a9 (diff) | |
| download | dotty-07b757bb49f8b663a89a68d32e2c7de0eb33b1f0.tar.gz dotty-07b757bb49f8b663a89a68d32e2c7de0eb33b1f0.tar.bz2 dotty-07b757bb49f8b663a89a68d32e2c7de0eb33b1f0.zip | |
more of adapting patmat for dotty
Diffstat (limited to 'project/build.properties')
0 files changed, 0 insertions, 0 deletions