| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | use 'verbatim' environment instead of 'Verbatim' | tradke | 2009-02-10 |
| * | Got rid of watchminutes Cactus variable in favour of a local variable. | swhite | 2006-06-30 |
| * | minor change to tex | swhite | 2006-05-11 |
| * | Two bug fixes | swhite | 2006-04-28 |
| * | Made it work. | swhite | 2006-04-27 |
| * | Christian's TriggerTerminationManual, renamed and expanded | swhite | 2006-04-26 |
 |
index : ManualTermination.git | |
| [no description] |
| aboutsummaryrefslogtreecommitdiff |