Paul Eggert b4582f1918 Update URLs to prefer https: to http: ...

Also, fix a few http: URLs that were no longer working.

2021-01-29 13:48:43 -08:00

..

example-reduce.gv

dot: also use a dot in the output

2020-07-03 06:51:57 +02:00

example-reduce.txt

dot: also use a dot in the output

2020-07-03 06:51:57 +02:00

example-shift.gv

dot: also use a dot in the output

2020-07-03 06:51:57 +02:00

example-shift.txt

dot: also use a dot in the output

2020-07-03 06:51:57 +02:00

example.gv

Update URLs to prefer https: to http:

2021-01-29 13:48:43 -08:00

example.txt

build: ship the ASCII art figures

2013-08-01 11:41:49 +02:00

example.y

doc: various minor improvements and fixes

2012-12-09 16:24:19 +01:00