diff options
| author | coqbot | 2020-08-04 19:05:56 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-04 19:05:56 +0200 |
| commit | 40b4e84b78745506aa9b173fb5c08e7ea74faaaa (patch) | |
| tree | cf69070b6f4740db4f1a58ef1daaf0c17127d109 /default.nix | |
| parent | 2793c3cdfd096355270ea02123a7f8fbf64c8076 (diff) | |
| parent | 046cf2c0c8bb2b5186066f927b98c387709e9acc (diff) | |
Merge PR #12706: Mention coqbot minimize feature in issue template.
Reviewed-by: Zimmi48
Ack-by: JasonGross
Ack-by: SkySkimmer
Ack-by: jtcoolen
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions