Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-07 00:53:41 +08:00
Code Issues Actions 25 Packages Projects Releases Wiki Activity

gconf_file added

Browse Source
This commit is contained in:
Pascal Brisset
2007-10-05 09:57:35 +00:00
parent 4add6c17a0
commit 47f2fa3c2f
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/env.ml
+2
View File
@@ -44,3 +44,5 @@ let flight_plans_path = paparazzi_home // "conf" // "flight_plans"
let flight_plan_dtd = flight_plans_path // "flight_plan.dtd"
let icon_file = paparazzi_home // "data/pictures/penguin_icon.png"
let gconf_file = paparazzi_home // "conf" // "%gconf.xml"
sw/lib/ocaml/env.mli
+4
View File
@@ -34,3 +34,7 @@ val flight_plans_path : string
val flight_plan_dtd : string
val icon_file : string
(** PNG paparazzi logo icon (48 x 48, 8-bit/color RGBA, non-interlaced) *)
val gconf_file : string
(** XML preferences file à la gconf *)