diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index 24337255c..9cbbf7d49 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -25,8 +25,8 @@ <segtitle>&diskspace;</segtitle> <seglistitem> - <seg>0.1 SBU</seg> - <seg>6.1 MB</seg> + <seg>&dejagnu-ch5-sbu;</seg> + <seg>&dejagnu-ch5-du;</seg> </seglistitem> </segmentedlist> |