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
The problem, is that I loose the (potential) updates later on because opam-user-update detect the manual modification and refuse to modify this part...
Is there a way to keep the best of both worlds?
Thank you
The text was updated successfully, but these errors were encountered:
Hello
I prefer to use tuareg-menhir for my mly files. Right now, I must manually patch the
opam-user-setup.el
file to replaceby
The problem, is that I loose the (potential) updates later on because opam-user-update detect the manual modification and refuse to modify this part...
Is there a way to keep the best of both worlds?
Thank you
The text was updated successfully, but these errors were encountered: