Commits on Sep 4, 2023

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

   This effectively merges wingo#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 <ludo@gnu.org>
   Date:   Mon Feb 6 14:43:20 2023 +0100
   
       doc: Add index.
   
       * fibers.texi (Index): New node.
   
   without mentioning the previous (time-wise) PR wingo#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 authored and emixa-d committed Sep 4, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 93cbeb4
   • Browse repository at this point

   Copy the full SHA

   93cbeb4 View commit details

   Browse the repository at this point in the history