-
Gabriel Burt authored
Also add merge-docs target that pulls any edits the user has done in Monodoc and merges them, ready to commit or submit as a patch.
68fc22cb
Also add merge-docs target that pulls any edits the user has done in Monodoc and merges them, ready to commit or submit as a patch.