Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Sorry, I’ve been confused about how redirects work, not realizing that I need to add [!redirects X] to the target page. How can I delete this page again?
Okay, thanks!
I have now deleted the page completely manually. In particular, the links in #1 and #3 will no longer work.
The page https://ncatlab.org/nlab/show/pullback+lemma+%3E+history is still there, but is empty.
Thanks, this is the page cache, I’ll remove it later.
1 to 7 of 7