diff options
| author | Amin Bandali <amin@gnu.org> | 2018-08-17 16:34:19 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-08-17 16:34:19 -0400 |
| commit | e388ae6fc6f7376d07dd34788145fcf5fc0cc0c5 (patch) | |
| tree | 7b0c6e4f37c9563482c57a2fbf248090c62eb566 /lib/proof-site | |
| parent | f65a55f88c9ac6e701b6598029a70fc901fcf64f (diff) | |
| download | configs-e388ae6fc6f7376d07dd34788145fcf5fc0cc0c5.tar.gz configs-e388ae6fc6f7376d07dd34788145fcf5fc0cc0c5.tar.xz configs-e388ae6fc6f7376d07dd34788145fcf5fc0cc0c5.zip | |
[rc] don't tangle some of the scripts I don't use anymore
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions