diff --git a/data/interfaces/default/info.html b/data/interfaces/default/info.html index 83cfd183..62a0e3b6 100644 --- a/data/interfaces/default/info.html +++ b/data/interfaces/default/info.html @@ -542,7 +542,7 @@ DOCUMENTATION :: END % if source == 'history':
% endif