0001-Use-delete-all-overlays-in-clean-mode.patchDescription: Text Data
|
| From: | Joseph Turner |
| Subject: | bug#66403: [PATCH] Use delete-all-overlays in clean-mode |
| Date: | Sun, 08 Oct 2023 02:57:25 -0700 |
Tags: patch Is there a reason to use dolist instead of delete-all-overlays?
0001-Use-delete-all-overlays-in-clean-mode.patch
Description: Text Data
| [Prev in Thread] | Current Thread | [Next in Thread] |