From 6cfcd2e1baf314842714618adff16504a3f73789 Mon Sep 17 00:00:00 2001 From: Ben Wiederhake Date: Sat, 9 Jul 2016 19:48:14 +0200 Subject: Clean up links, repository-wide (#117) * https: ieee.org * https: readthedocs * https: technet.com * https: debian.org * https: w3.org * Fix or mark dead links --- src/ghdldrv/ghdlprint.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/ghdldrv') diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb index ca0722a78..97f54ebde 100644 --- a/src/ghdldrv/ghdlprint.adb +++ b/src/ghdldrv/ghdlprint.adb @@ -466,8 +466,8 @@ package body Ghdlprint is end case; --Put_Line (""); --Put_Line(""); - --Put_Line (""); + --Put_Line (""); --Put_Line (""); end Put_Html_Header; -- cgit v1.2.3