[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch scratch/derived-mode-add-parents deleted (was cf00f1526d0)
From: |
Stefan Monnier |
Subject: |
branch scratch/derived-mode-add-parents deleted (was cf00f1526d0) |
Date: |
Thu, 16 Nov 2023 17:01:02 -0500 (EST) |
monnier pushed a change to branch scratch/derived-mode-add-parents.
was cf00f1526d0 Subject: (derived-mode-add-parents): Add documentation
and one more test
The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch scratch/derived-mode-add-parents deleted (was cf00f1526d0),
Stefan Monnier <=