summaryrefslogtreecommitdiff
path: root/Utility/Batch.hs
Commit message (Collapse)AuthorAge
* merge from git-annex and relicense accordinglyJoey Hess2020-01-02
| | | | | | | | | | | Merge git library and utility from git-annex. The former is now relicensed AGPL, so git-repair as a whole becomes AGPL. For simplicity, I am relicensing the remainder of the code in git-repair AGPL as well, per the header changes in this commit. While that code is also technically available under the GPL license, as it's been released under that license before, changes going forward will be only released by me under the AGPL.
* Merge from git-annex.Joey Hess2015-04-29
|
* Merge from git-annex.Joey Hess2014-10-12
| | | | Includes changing to new exceptions library, and some whitespace fixes.
* Merge from git-annex.Joey Hess2014-07-21
|
* merge from git-annexJoey Hess2014-01-13
|
* sync with git-annexJoey Hess2013-12-01
|
* merge from git-annexJoey Hess2013-12-01
| | | | | | Note that the batchCommand stuff is not used in git-repair, so configure does not need to check for nice, ionice, and nocache, nor are they dependend on.
* copied from git-annexJoey Hess2013-11-18