diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-22 14:28:01 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-22 14:28:01 -0500 |
| commit | f2a5794494de4bf1b018c6c540365bad40b0dafb (patch) | |
| tree | 8f01c4c7db3911332f36a50e141011b51563310a /lib/proof-site | |
| parent | 0571b240759700a2036605691e1ac31dc59820aa (diff) | |
| download | configs-f2a5794494de4bf1b018c6c540365bad40b0dafb.tar.gz configs-f2a5794494de4bf1b018c6c540365bad40b0dafb.tar.xz configs-f2a5794494de4bf1b018c6c540365bad40b0dafb.zip | |
[emacs] Assimilate (the awesome) expand-region 0.11.0-18-ged32924
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions