mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-31 20:38:27 +08:00
change default path from data/SR6TM to data/srtm
This commit is contained in:
@@ -55,7 +55,7 @@ let default_color_trajs = ref (`NAME "red")
|
||||
|
||||
let home = Env.paparazzi_home
|
||||
let (//) = Filename.concat
|
||||
let default_path_SRTM = home // "data" // "SRTM"
|
||||
let default_path_SRTM = home // "data" // "srtm"
|
||||
let default_path_maps = home // "data" // ""
|
||||
let default_path_traj = home // "var" // ""
|
||||
let default_path_missions = home // "conf"
|
||||
|
||||
Reference in New Issue
Block a user