Ignore indentation changes on multiline comments #21

Closed

opened

on Jul 19, 2021

(* foo
   bar *)

if true then
  (* foo
     bar *)
  do_stuff ();

The comment is unchanged here.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests