diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2023-12-05 13:12:55 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2023-12-05 13:12:55 +0800 |
| commit | 73d91ac621a4e59f71ff6664c68c935317f9ce42 (patch) | |
| tree | 4f9b341370b83d97379a1343a69d13d48cb65740 /chapter08/gmp.xml | |
| parent | 6b6a1b958af3a0e59559e44ad700f761d8a49a09 (diff) | |
| parent | dc8572f2413a4d25444bb1237ea2a01dfba60429 (diff) | |
Merge remote-tracking branch 'origin/trunk' into xry111/arm64
Diffstat (limited to 'chapter08/gmp.xml')
| -rw-r--r-- | chapter08/gmp.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter08/gmp.xml b/chapter08/gmp.xml index bfd030e1d..c178d2b13 100644 --- a/chapter08/gmp.xml +++ b/chapter08/gmp.xml @@ -119,7 +119,7 @@ make install-html</userinput></screen> <title>Contents of GMP</title> <segmentedlist> - <segtitle>Installed Libraries</segtitle> + <segtitle>Installed libraries</segtitle> <segtitle>Installed directory</segtitle> <seglistitem> |