diff options
| author | JSDurand <mmemmew@gmail.com> | 2021-09-06 14:10:39 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2021-09-06 14:10:39 +0800 |
| commit | 2c4f4538a927b62c01ee61c8c141a98965670d9e (patch) | |
| tree | cd5baf5eadf5d6c64494e8d06de9ecc71f84338a /desktop | |
| parent | 078ef17def8a50f3c98af85b259ae745b6c5e231 (diff) | |
eshell: formatting and a time comparison
* eshell-conf.el (eshell-current-command-stop): I shall compare both
the number of seconds and the number of micro-seconds.
Fix other formatting issues as well.
Diffstat (limited to 'desktop')
0 files changed, 0 insertions, 0 deletions