diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-25T15·49+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-25T15·49+0200 |
| commit | c137c0a5ebc0d58c53f86986ab66967ac8629cbe (patch) | |
| tree | 38e01bef5549985449a4c911c1444758d585335f /maintainers | |
| parent | f194629f96d4bdbded897e7e88ac0d03211c959d (diff) | |
Allow activities to be nested
In particular, this allows more relevant activities ("substituting X")
to supersede inferior ones ("downloading X").
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions