diff options
| author | Jakob Odersky <jakob@odersky.com> | 2016-04-18 03:33:08 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2016-04-18 03:33:08 -0700 |
| commit | 552fde56cd19e766e2bd627ed8eea66dc4f15a8d (patch) | |
| tree | 4fbd7617349ac62111e4a894dcc276834c5244c2 /.gitignore | |
| parent | 8aecc40ecbd5149ef1b3bf753dd067cddf693085 (diff) | |
| download | mavigator-552fde56cd19e766e2bd627ed8eea66dc4f15a8d.tar.gz mavigator-552fde56cd19e766e2bd627ed8eea66dc4f15a8d.tar.bz2 mavigator-552fde56cd19e766e2bd627ed8eea66dc4f15a8d.zip | |
Use config to set server parameters
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions