Arne Babenhauserheide  committed 240b379

added “pull here is OK, too” to the README.

  • Participants
  • Parent commits fd3db1e
  • Branches default

Comments (0)

Files changed (1)
 Make sure to pull lastest draft changeset before submitting new changeset.
+Pull-requests here are OK, too, though. But don’t expect to have the
+newest changeset without checking out the dev repo with the obsolete
+extension enabled.