Skip to content

Commit

Permalink
Merge pull request #228 from Ninjapouet/fix#225
Browse files Browse the repository at this point in the history
Fixed #225: making lastest (git) version the default one.
  • Loading branch information
lefessan authored Jul 19, 2024
2 parents 61aee33 + b1dd4f9 commit ba99478
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion src/drom_lib/project.ml
Original file line number Diff line number Diff line change
Expand Up @@ -236,7 +236,9 @@ let to_files share p =
let project_of_toml ?file ?default table =
let project_drom_version =
match EzToml.get_string_option table [ "project"; "drom-version" ] with
| None -> Globals.min_drom_version
| None ->
(* Using current version by default. *)
Version.version
| Some version ->
match VersionCompare.compare version Version.version with
| 1 ->
Expand Down

0 comments on commit ba99478

Please sign in to comment.