diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-03-20 00:49:58 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-03-20 00:49:58 -0400 |
| commit | 7069ec695b0b15c1ea56305223bdafe92c1b3beb (patch) | |
| tree | 4f689a305a398c1bbc9e7c7467ee19b30aafe462 /lib/proof-site | |
| parent | d1c58787a7346176c95f74be875c16f6ac97af50 (diff) | |
| download | configs-7069ec695b0b15c1ea56305223bdafe92c1b3beb.tar.gz configs-7069ec695b0b15c1ea56305223bdafe92c1b3beb.tar.xz configs-7069ec695b0b15c1ea56305223bdafe92c1b3beb.zip | |
[rc/tlp] update langa’s config for tlp-1.2
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions