change banner name for html version

This commit is contained in:
creme 2020-01-14 20:44:19 +00:00
parent b88c57dc17
commit 32b8a3416b
3 changed files with 6 additions and 2 deletions

View File

@ -1,4 +1,4 @@
__ __
___ ___ _ _____ ___ ___ / /_ ___ ___ _ _____ ___ ___ / /_
/ -_) _ \ |/ (_-&lt;_ / _ \/ -_) __/ / -_) _ \ |/ (_-<_ / _ \/ -_) __/
\__/_//_/___/___(_)_//_/\__/\__/ \__/_//_/___/___(_)_//_/\__/\__/

4
banner_html.txt Normal file
View File

@ -0,0 +1,4 @@
__
___ ___ _ _____ ___ ___ / /_
/ -_) _ \ |/ (_-&lt;_ / _ \/ -_) __/
\__/_//_/___/___(_)_//_/\__/\__/

View File

@ -34,7 +34,7 @@ include 'header.php';
<div id="main" style="padding-bottom: 1em;"> <div id="main" style="padding-bottom: 1em;">
<pre class="banner"> <pre class="banner">
<?php include 'banner.txt'; ?> <?php include 'banner_html.txt'; ?>
<small><em>environments - since 9/2019</em></small> <small><em>environments - since 9/2019</em></small>
</pre> </pre>