diff options
| author | rillig <rillig@pkgsrc.org> | 2005-05-23 08:26:03 +0000 |
|---|---|---|
| committer | rillig <rillig@pkgsrc.org> | 2005-05-23 08:26:03 +0000 |
| commit | f795c2e4750a21c358eb4eba83184326b68adce0 (patch) | |
| tree | a88b53a484071e09249ef5ae57e9f69b5ffb0a67 /devel/rsltc | |
| parent | c7051d394905450b08f91eb4b95f8961b2af4385 (diff) | |
| download | pkgsrc-f795c2e4750a21c358eb4eba83184326b68adce0.tar.gz | |
Removed trailing white-space.
Diffstat (limited to 'devel/rsltc')
| -rw-r--r-- | devel/rsltc/DESCR | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/rsltc/DESCR b/devel/rsltc/DESCR index 90b49662530..3d2ab769acc 100644 --- a/devel/rsltc/DESCR +++ b/devel/rsltc/DESCR @@ -1,3 +1,3 @@ -rsltc provides type-checking, pretty-printing, generation of confidence -conditions, showing module dependencies, translation to Standard ML, to -C++, and to PVS, and translation to RSL from UML class diagrams. +rsltc provides type-checking, pretty-printing, generation of confidence +conditions, showing module dependencies, translation to Standard ML, to +C++, and to PVS, and translation to RSL from UML class diagrams. |