aboutsummaryrefslogtreecommitdiff
path: root/development/mcrl2
diff options
context:
space:
mode:
authorGiuseppe Scalzi <giuseppe@osgate.org>2011-10-21 16:50:11 -0200
committerNiels Horn <niels.horn@slackbuilds.org>2011-10-21 16:50:11 -0200
commit299cf88d270e872853ffd224e8c62335ec71e874 (patch)
treef9e4eed683ff50f3ab24ae46c8757f2ebfe6bba6 /development/mcrl2
parenta7cde684cf1810436bce10d2702250f4845bcdd6 (diff)
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