diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-07-22 23:28:53 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-07-23 02:02:07 +0200 |
| commit | a85b83d2270673fdb00d03bbec7e3378c6adcac2 (patch) | |
| tree | a4db5212d082d0690f01292efc660368f91203c2 /gnu/services | |
| parent | 7f239fd33ff7bf2f1ec48de37f14479699d4096f (diff) | |
doc: Merge the type, variable, and function indices.
* doc/guix.texi (Function Index): Rename to...
(Programming Index): ... this. Merge the type, variable, and function
indices.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions