Skip to content

Commit

Permalink
Fix issue #1455 (radio buttons not working)
Browse files Browse the repository at this point in the history
  • Loading branch information
hgouraud committed May 2, 2023
1 parent 7ae976d commit 44177d6
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions lib/mergeIndDisplay.ml
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ let print_differences conf base branches p1 p2 =
Output.print_sstring conf {|>|};
Output.printf conf {|<label class="custom-control-label" for="|};
Output.print_sstring conf name;
Output.print_sstring conf (string_of_int i);
Output.print_sstring conf {|">|};
Output.print_string conf x;
Output.print_sstring conf {|</label></div>|}
Expand Down

0 comments on commit 44177d6

Please sign in to comment.