diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-12 00:33:55 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-12 00:33:55 -0500 |
| commit | a5f4a7d98c7b935a523c993c80d28df4e525db73 (patch) | |
| tree | 7b50a6f0b42887a226d0bfb3e9d0bdce923e6a58 /lib/proof-site | |
| parent | ef29652dbab2cfce3ce17b55ade23be00a227fff (diff) | |
| download | configs-a5f4a7d98c7b935a523c993c80d28df4e525db73.tar.gz configs-a5f4a7d98c7b935a523c993c80d28df4e525db73.tar.xz configs-a5f4a7d98c7b935a523c993c80d28df4e525db73.zip | |
[emacs] update 2 drones
Update lib/company to 0.9.8-4-gd00bbba
Update lib/nix-mode to v1.3.0-2-g95ef285
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions