diff --git a/coregrind/docs/coregrind_skins.html b/coregrind/docs/coregrind_skins.html index 18f17679c..8878dfecb 100644 --- a/coregrind/docs/coregrind_skins.html +++ b/coregrind/docs/coregrind_skins.html @@ -28,7 +28,7 @@