Commits

HongboZhang committed 833c03b

record how to make patches

  • Participants
  • Parent commits 65a5027

Comments (0)

Files changed (1)

 # make -B compilerlibs/ocamltoplevel.cma
 # make expunge
 # ls -l  typing/*.ml | awk '{print $9}'  | pbcopy
-
+# git diff master..lemma/origin > changes.patch