mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-06-07 00:53:41 +08:00
* fix typo in comment
This commit is contained in:
@@ -81,7 +81,7 @@ val make_geo : radian -> radian -> geographic
|
||||
(** [make_geo lat long] *)
|
||||
|
||||
val make_geo_deg : degree -> degree -> geographic
|
||||
(** [make_geo lat long] *)
|
||||
(** [make_geo_deg lat long] *)
|
||||
|
||||
val string_degrees_of_geographic : geographic -> string
|
||||
val string_dms_of_geographic : geographic -> string
|
||||
|
||||
Reference in New Issue
Block a user