File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed
Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -690,7 +690,7 @@ as comments that are not.
690690*)
691691
692692(* $CR and let us look at invalid comments as well. The exact behavior for
693- their intentation is less of a priority since they are invalid in the
693+ their indentation is less of a priority since they are invalid in the
694694 first place. *)
695695
696696(* $CR-user but still we include
@@ -738,7 +738,7 @@ this as part of our tests. *)
738738
739739 File "my_file.ml" , lines 28-30 , characters 0-165 :
740740 CR and let us look at invalid comments as well . The exact behavior for
741- their intentation is less of a priority since they are invalid in the
741+ their indentation is less of a priority since they are invalid in the
742742 first place .
743743
744744 File "my_file.ml" , lines 32-33 , characters 0-61 :
Original file line number Diff line number Diff line change @@ -78,7 +78,7 @@ using a special syntax.
7878 ./ hello: 2 :
7979 CR user1 for user2: Hey, this is a code review comment
8080
81- When launched from a subdir, to facilate the integration, we can display the
81+ When launched from a subdir, to facilitate the integration, we can display the
8282path relative to that subdir from where the command is run .
8383
8484 $ (cd foo ; crs tools emacs-grep)
You can’t perform that action at this time.
0 commit comments