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
Original bug ID: 6134 Reporter:@dbuenzli Status: acknowledged (set by @damiendoligez on 2013-08-26T14:59:30Z) Resolution: open Priority: normal Severity: feature Version: 4.01.0+beta/+rc Category: emacs mode Related to:#5812
Bug description
If I'm not mistaken the emacs mode is not able to make sense of cmt[i] files. I feel bad for invoking the compiler with both -annot and -bin-annot.
Thanks,
Daniel
The text was updated successfully, but these errors were encountered:
Well in fact that may not be so important. Since tools like ocp-indent should be able to do that instead, it just seems a little bit buggy at the moment.
Original bug ID: 6134
Reporter: @dbuenzli
Status: acknowledged (set by @damiendoligez on 2013-08-26T14:59:30Z)
Resolution: open
Priority: normal
Severity: feature
Version: 4.01.0+beta/+rc
Category: emacs mode
Related to: #5812
Bug description
If I'm not mistaken the emacs mode is not able to make sense of cmt[i] files. I feel bad for invoking the compiler with both -annot and -bin-annot.
Thanks,
Daniel
The text was updated successfully, but these errors were encountered: