diff options
| author | Amin Bandali <amin@gnu.org> | 2018-08-17 16:38:14 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-08-17 16:38:30 -0400 |
| commit | a106372e1dd284d6f2169a20e6e668e6cf2f22b2 (patch) | |
| tree | 3e6cfee6a570e1aa8e957d566860dc629480c967 /lib/proof-site | |
| parent | e388ae6fc6f7376d07dd34788145fcf5fc0cc0c5 (diff) | |
| download | configs-a106372e1dd284d6f2169a20e6e668e6cf2f22b2.tar.gz configs-a106372e1dd284d6f2169a20e6e668e6cf2f22b2.tar.xz configs-a106372e1dd284d6f2169a20e6e668e6cf2f22b2.zip | |
[rc] fix alphabetical order of Configs sections
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions