2018: remove generated-bios.html.
authorrsiddharth <rsd@gnu.org>
Mon, 31 Jul 2017 00:30:29 +0000 (00:30 +0000)
committerrsiddharth <rsd@gnu.org>
Mon, 31 Jul 2017 00:30:29 +0000 (00:30 +0000)
commitbff3840d068d478a0c723670af732afab421c102
treef348088f50d4d28a4b77ad42c1bcd1a724fab8e2
parentf1292e45e9a2cf1c45069c666ba3aba30ab6a7c7
2018: remove generated-bios.html.

* 2018/program/generated-bios.html: Remove file.
2018/program/generated-bios.html [deleted file]