diff options
| author |  wm4 <wm4@nowhere> | 2014-12-12 23:57:49 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-12-13 00:04:08 +0100 |
| commit | 82317593e9bc5bd3d7d35ae96ef777ccf801a81c (patch) | |
| tree | c7f5b0639bd77636744ebd9590bd53d98e07a1e7 /old-makefile | |
| parent | 98e400216d7c6545ffd7d1909c7bfac09b9862f3 (diff) | |
options: add option for ignoring patch in resume mechanism
Whatever.
Fixes #1281.
Diffstat (limited to 'old-makefile')
0 files changed, 0 insertions, 0 deletions