diff options
author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2016-07-09 19:48:14 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2016-07-09 19:48:14 +0200 |
commit | 6cfcd2e1baf314842714618adff16504a3f73789 (patch) | |
tree | 43dbd5963cafd1448f66a625ec292b73d876170f /.gitignore | |
parent | f218907306bb64565ceecae98b1515f979b96737 (diff) | |
download | ghdl-6cfcd2e1baf314842714618adff16504a3f73789.tar.gz ghdl-6cfcd2e1baf314842714618adff16504a3f73789.tar.bz2 ghdl-6cfcd2e1baf314842714618adff16504a3f73789.zip |
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
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions