diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-24 16:15:53 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-24 16:17:54 -0500 |
| commit | 74626963731ccceba54e7a26cce8ea342e0fc646 (patch) | |
| tree | c344257d77bcdb077b01db85b99e54201754f21e /lib/proof-site | |
| parent | 04a268e34909e76750d4a41ea5e042c4903bf8a5 (diff) | |
| download | configs-74626963731ccceba54e7a26cce8ea342e0fc646.tar.gz configs-74626963731ccceba54e7a26cce8ea342e0fc646.tar.xz configs-74626963731ccceba54e7a26cce8ea342e0fc646.zip | |
[emacs][wip] remove all the package submodules
Diffstat (limited to 'lib/proof-site')
| m--------- | lib/proof-site | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/proof-site b/lib/proof-site deleted file mode 160000 -Subproject f7cc8f1f76baf5e517e51f1db47510ed605064e |