This repository has been archived on 2024-08-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Klaus Weidenbach 49e77e0f71 Import Module documentation and @-sign replacement. ...

If you copy the identity from your profile page the @-sign is invalid
for the import and fails. Replace it for convenience.

2017-03-25 20:30:26 +01:00

16 KiB

Raw Blame History

View Raw