summaryrefslogtreecommitdiffstats
path: root/development/mcrl2
diff options
context:
space:
mode:
author Giuseppe Scalzi2011-10-21 20:50:11 +0200
committer Niels Horn2011-10-21 20:50:11 +0200
commit299cf88d270e872853ffd224e8c62335ec71e874 (patch)
treef9e4eed683ff50f3ab24ae46c8757f2ebfe6bba6 /development/mcrl2
parenta7cde684cf1810436bce10d2702250f4845bcdd6 (diff)
downloadslackbuilds-299cf88d270e872853ffd224e8c62335ec71e874.tar.gz
desktop/anki: Added (friendly, intelligent flashcards)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions