projects / ~bandali / configs / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53b0be6) | patch
[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
authorAmin Bandali <bandali@gnu.org>
Sun, 11 Nov 2018 02:20:07 +0000 (21:20 -0500)
committerAmin Bandali <bandali@gnu.org>
Sun, 11 Nov 2018 02:20:07 +0000 (21:20 -0500)
commite44b9b7eb100a3d5c1640b7df7d4c458f81998ab
tree09a9b452be0a454457739052894eec910c48994ftree | snapshot (tar.gz zip)
parent53b0be6b6b56c13b3a61a5d8ecbd223c61c10b4fcommit | diff
[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
init.org diff | blob | blame | history
My configuration for GNU Emacs and other programs