diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-04-01 14:34:05 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-04-01 14:34:05 -0400 |
| commit | cb59adb2072ea48c97237307190d69b7849309f7 (patch) | |
| tree | a931b0ac3e662909e8135b887d10ad1ce967e15a /lib/proof-site | |
| parent | 060e178130911d9c278235f3376e4eec4a991e28 (diff) | |
| download | configs-cb59adb2072ea48c97237307190d69b7849309f7.tar.gz configs-cb59adb2072ea48c97237307190d69b7849309f7.tar.xz configs-cb59adb2072ea48c97237307190d69b7849309f7.zip | |
[emacs/org] add org-agenda settings and (tentative?) binding
C-c a o a is a bit awkward to type.
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions