diff options
author | Jakob Odersky <jodersky@gmail.com> | 2014-10-29 13:00:35 +0100 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2014-10-29 13:00:35 +0100 |
commit | d2dafd58ce910a9abb81360126834c64967cdfcd (patch) | |
tree | 64da411205b79b34b308201f802d8f849cc51959 /vfd-shared/src/main | |
parent | 27826e19ef54cb45b8ca46ada856f60281c2de25 (diff) | |
download | mavigator-d2dafd58ce910a9abb81360126834c64967cdfcd.tar.gz mavigator-d2dafd58ce910a9abb81360126834c64967cdfcd.tar.bz2 mavigator-d2dafd58ce910a9abb81360126834c64967cdfcd.zip |
minor frontend adjustements
Diffstat (limited to 'vfd-shared/src/main')
0 files changed, 0 insertions, 0 deletions