Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

texi: Remove mention of non-existent concepts in index. #95

Closed
wants to merge 1 commit into from
Closed

texi: Remove mention of non-existent concepts in index. #95

wants to merge 1 commit into from

Commits on Sep 4, 2023

  1. texi: Remove mention of non-existent concepts in index. 

    This effectively merges #60, with the following changes:

The commit ‘un-comment indices’ was in the future (time-wise)
and previously (commit history) mostly duplicated in:

commit 36a6cc7
Author: Ludovic Courtès <[email protected]>
Date:   Mon Feb 6 14:43:20 2023 +0100

    doc: Add index.

    * fibers.texi (Index): New node.

without mentioning the previous (time-wise) PR #60.

The difference between the PR and this commit is that it appears
to merge the function and concept index.

Another difference: it's squashed.

* fibers.texi (Index): Don't mention concepts in the menu.
    @HugoNikanor @emixa-d
    HugoNikanor authored and emixa-d committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    93cbeb4 View commit details
    Browse the repository at this point in the history