diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-09-19 15:40:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-19 15:40:10 +0100 |
| commit | 9d50a06d489ddee8fa60b711f302ae83a25fb4d5 (patch) | |
| tree | ce0ee1e0c38104885f73937171a00688103137af /plugin | |
| parent | b2789271023d18171b4664c333238120b1296d5f (diff) | |
| parent | d50e60317738bdf203619d321c1b14b0ac53f315 (diff) | |
| download | ale-9d50a06d489ddee8fa60b711f302ae83a25fb4d5.zip | |
Merge pull request #1937 from danielwe/master
Support both old (<0.7) and new Julia versions
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions