chiark / gitweb /
* summer works even if passed multiple option-containing args.
authorianmdlvl <ianmdlvl>
Wed, 23 May 2007 18:42:45 +0000 (18:42 +0000)
committerianmdlvl <ianmdlvl>
Wed, 23 May 2007 18:42:45 +0000 (18:42 +0000)
* workaround for nettle bug, supply -lgmp if -lnettle.


No differences found