Changes between Version 23 and Version 24 of Development/Patches


Ignore:
Timestamp:
Dec 1, 2013, 8:22:30 AM (6 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Development/Patches

    v23 v24  
    4747}}}
    4848
    49  If you've added a lot of files to the version control system (`darcs add`) and might have forgot some, or you just want to be extra sure you're not going to break anything, then it's best to use a separate testing repo. First make a new version of the head repo (maybe called `ddc-head-test`). Record your patches in the original repo, push them into the testing repo, then in that repo do:
     49 If you've added a lot of files to the version control system and might have forgot some, or you just want to be extra sure you're not going to break anything, then it's best to use a separate testing repo. First make a new version of the head repo (maybe called `ddc-head-test`). Record your patches in the original repo, push them into the testing repo, then in that repo do:
    5050{{{
    5151  make clean