You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Proposal: widen the scope of -j flag as follows:
put comments as ctstatement only if -j flag is present
and update the documentation of the -j flag:
-j consider documentation:
this flags enables the documentation handling: adds statement comments in the model, rewrite comments on pretty-printing
The text was updated successfully, but these errors were encountered:
I don't think it is a good idea to use the -j flag for enabling/disabling both parsing and printing comments.
From my point of view it's much better to have two options: 1. parsing, 2. printing. Basically the option that you asked my to remove.
Discussion for @arnobl use case
Proposal: widen the scope of -j flag as follows:
put comments as ctstatement only if -j flag is present
and update the documentation of the -j flag:
-j consider documentation:
this flags enables the documentation handling: adds statement comments in the model, rewrite comments on pretty-printing
The text was updated successfully, but these errors were encountered: