12 Sep
2018
12 Sep
'18
8:49 p.m.
On 9/12/18 7:59 PM, Miller Puckette wrote:
This is essentially how I do it too... for PRs on the pure-data project it's
btw, it seems that you accidentally pushed some helper-tags, namely "after-infinite-undo" and "before-inf-undo". i've removed them from the github repository, but you might want to remove them locally as well, to prevent re-pushing them.
gfasmrd IOhannes