diff options
author | Jakob Odersky <jodersky@gmail.com> | 2015-12-22 14:52:11 +0100 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2015-12-22 14:52:11 +0100 |
commit | c77bf21e7f4c197d34d23b2aebe5953a75d099e2 (patch) | |
tree | d115e09e2ba599eb491d961b3409dce11936b49e /mavigator-server | |
parent | 58daf3b0559d4facbb09fcc375a0b3d4ff9010cf (diff) | |
download | mavigator-c77bf21e7f4c197d34d23b2aebe5953a75d099e2.tar.gz mavigator-c77bf21e7f4c197d34d23b2aebe5953a75d099e2.tar.bz2 mavigator-c77bf21e7f4c197d34d23b2aebe5953a75d099e2.zip |
Update versions and build confuguration
Diffstat (limited to 'mavigator-server')
0 files changed, 0 insertions, 0 deletions