diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-16 22:28:41 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-16 22:28:41 +0000 |
| commit | 5430bc3493d4012fb11f32675eaa9c437e4e83bd (patch) | |
| tree | f77e5f1f7d63d3f4d55c289f268d0fe4d10bab13 /misc | |
| parent | e259b37f7316117d7c0f74b53373481c94c3cf02 (diff) | |
| download | mdk-5430bc3493d4012fb11f32675eaa9c437e4e83bd.tar.gz mdk-5430bc3493d4012fb11f32675eaa9c437e4e83bd.tar.bz2 | |
access to the predicate type added
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions