Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Simplify (org-auto-tangle-tangle-if-needed):
Simplify (org-auto-tangle-tangle-if-needed): and make it work in Org-mode derivatives. Patch sent by Stefan Monnier <[email protected]> on 2022-07-13
- Loading branch information