summaryrefslogtreecommitdiff
path: root/development/mcrl2
diff options
context:
space:
mode:
authorMacius Kuzmin <szczecinska.duma@gmail.com>2017-06-30 14:05:49 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2017-06-30 14:05:49 +0700
commitc8d1ca49e344ec5f1bd26540106eccf532db18b6 (patch)
treec460709575c2c220425043a3ed07054d0b48f789 /development/mcrl2
parent4fecab3cf3a445d4c96f1cea049f17079b143d33 (diff)
downloadslackbuilds-c8d1ca49e344ec5f1bd26540106eccf532db18b6.tar.gz
network/uget-chrome-wrapper: Added (download manager).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions