On Tuesday, 5 March 2019 08:04:47 CET Nobody III wrote: > Is there a standard method/tool for easily generating patches for ports?
Hi Nobody III, I can't think of any "default" way. I usually edit the port in the contrib directory until everything works and then create a patch file via git diff (if the port doesn't use git I initialize a new repository with the current state as first commit). Regards, Johannes
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
