diff options
| author | Amin Bandali <amin@aminb.org> | 2018-05-06 02:02:19 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@aminb.org> | 2018-05-06 02:02:19 -0400 |
| commit | 9f6d1d9149459ef329b6a03ca680d43ced7bdbd0 (patch) | |
| tree | 4dcd8064f51a228270e3373de553a136b0395603 /lib/proof-site | |
| parent | 434b1815074ab7f2963711389aa7c891e461729f (diff) | |
| download | configs-9f6d1d9149459ef329b6a03ca680d43ced7bdbd0.tar.gz configs-9f6d1d9149459ef329b6a03ca680d43ced7bdbd0.tar.xz configs-9f6d1d9149459ef329b6a03ca680d43ced7bdbd0.zip | |
[setup] remove out of date setup file
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions