diff options
| author | Volker Stolz <vs@FreeBSD.org> | 2005-11-16 09:29:34 +0000 |
|---|---|---|
| committer | Volker Stolz <vs@FreeBSD.org> | 2005-11-16 09:29:34 +0000 |
| commit | 34cfdc2368e241be8318ce53af22c9b20e5803d8 (patch) | |
| tree | 8214c8e945f1a9adfbfc408076052dd9e9606bb6 /games/ksudoku | |
| parent | Uppaal is an integrated tool environment for modeling, validation (diff) | |
Add entry for devel/uppaal
Notes
Notes:
svn path=/head/; revision=148447
Diffstat (limited to 'games/ksudoku')
0 files changed, 0 insertions, 0 deletions