Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-04-07 | Remove the need for configure substitutions in scripts | 1 | -0/+64 | |
2017-02-22 | Kill a generated file | 1 | -64/+0 | |
2017-02-13 | stat: determine whether it is BSD or GNU flavor | 1 | -0/+64 | |
2017-02-13 | Detect both wget/curl and allow user to select the agent | 1 | -54/+0 | |
2015-10-30 | Fix samples using GMP 4.3.2. | 1 | -4/+4 | |
2009-10-30 | scripts: some eye-candy | 1 | -1/+2 | |
2009-10-30 | scripts: fix updating config.{sub,guess} | 1 | -4/+2 | |
2008-12-16 | Get rid of the tols/ directory: | 1 | -0/+55 |