aboutsummaryrefslogtreecommitdiff
path: root/etc
Commit message (Expand)AuthorAge
* Bump submodule for better travis timing logsGravatar Jason Gross2017-01-31
* Don't let travis kill us in 10 minutes of silenceGravatar Jason Gross2016-11-18
* Also redact mit-plv and fiat-cryptoGravatar Jason Gross2016-11-15
* Add author-blacklist for repo anonymizerGravatar Jason Gross2016-11-14
* GF25519: add optimized addition chainGravatar Andres Erbsen2016-11-11
* Bump submodule for better timingGravatar Jason Gross2016-09-07
* Bump submoduleGravatar Jason Gross2016-07-19
* Bump submoduleGravatar Jason Gross2016-07-19
* Add coq-scripts submodule for timing scriptsGravatar Jason Gross2016-06-22
* Fix freshen-bedrock-files.shGravatar Jason Gross2016-04-03
* Add etc/freshen-bedrock-files.shGravatar Jason Gross2016-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-19 13:13:58 +0000