From: Amin Bandali <bandali@gnu.org>
Date: Sun, 11 Nov 2018 02:20:07 +0000 (-0500)
Subject: [emacs/lean-mode] use forward slash "/" as the prefix for lean-input
X-Git-Url: https://git.shemshak.org/~bandali/configs/commitdiff_plain/e44b9b7eb100a3d5c1640b7df7d4c458f81998ab?hp=e44b9b7eb100a3d5c1640b7df7d4c458f81998ab

[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
---