diff options
| author | ponce <matteo.bernardini@gmail.com> | 2012-08-24 19:52:37 +0200 |
|---|---|---|
| committer | ponce <matteo.bernardini@gmail.com> | 2012-08-25 13:22:34 +0200 |
| commit | 2f1dd9dcb4468eb4e07d22c6c60d85e3bce008cf (patch) | |
| tree | a5352aa462e2a9895824be653d702a0974d79906 /development/mcrl2 | |
| parent | 94a10ba41e41ca3b5e8e436c7c8ad1204ddc304e (diff) | |
| download | slackbuilds-2f1dd9dcb4468eb4e07d22c6c60d85e3bce008cf.tar.gz | |
network/mumble: Fixed dep information
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions