• Andrei Paskevich's avatar
    minor · fb5858f6
    Andrei Paskevich authored
    rename location_color to goal_color and lighter_location_color
    to premise_color
    fb5858f6
gconfig.mli 3.46 KB