diff options
| author | Anton Khirnov <anton@khirnov.net> | 2011-07-18 15:36:26 +0200 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2011-07-18 15:36:26 +0200 |
| commit | d001f70f047c99db1757c85ad7f469a8c0ac9772 (patch) | |
| tree | aea682b8f4ad56943786c5a64dde56ed83690a84 | |
| parent | b83bf5ee7d1b9274a4b08b81bcf076ebf0157373 (diff) | |
Update ManualTermination.
| m--------- | ManualTermination | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ManualTermination b/ManualTermination -Subproject f4538ac131c85a70651dfcfce7fe17df128b043 +Subproject 7475e5c7f4fc9f24f0224860622f4efec5b2729 |