diff options
Diffstat (limited to 'bin/reproducible_stats.sh')
| -rwxr-xr-x | bin/reproducible_stats.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index a003c253..2fb0433e 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -50,7 +50,7 @@ write_pkg_frameset() { <html> <head> </head> - <frameset framespacing="0" rows="20,*" frameborder="0" noresize> + <frameset framespacing="0" rows="42,*" frameborder="0" noresize> <frame name="top" src="$1_navigation.html" target="top"> <frame name="main" src="$2" target="main"> </frameset> |