]> git.vanrenterghem.biz Git - Dotty.git/commitdiff
Use Ibuffer for listing buffers.
authorFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Mon, 11 Sep 2023 14:25:20 +0000 (22:25 +0800)
committerFrederik Vanrenterghem <frederik@vanrenterghem.biz>
Mon, 11 Sep 2023 14:25:20 +0000 (22:25 +0800)

No differences found