update index: actually haven’t done any Rust in a while

[~bandali/bndl.org] / index.html

diff --git a/index.html b/index.html
index d9d4a62..0bb507f 100644 (file)
--- a/index.html
+++ b/index.html
@@ -71,8 +71,7 @@
 
         <p>
           On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
 
         <p>
           On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>

-          and <a href="https://www.rust-lang.org">Rust</a>, and enjoy
-          <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
+          and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on

           <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
           I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
           and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>
           <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
           I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
           and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>


@@ -143,18 +142,8 @@
       <p>
         Copyright (c) 2016&ndash;2019 Amin Bandali<br>
         Verbatim copying and redistribution of this entire page are
       <p>
         Copyright (c) 2016&ndash;2019 Amin Bandali<br>
         Verbatim copying and redistribution of this entire page are

-        permitted provided this notice is preserved.<br>
-        The <a href="https://www.gnu.org/graphics/gnu-inside.html">
-        GNU Inside</a> banner is available under the
-        <a href="https://creativecommons.org/licenses/by-sa/2.0/">
-          Creative Commons Attribution-ShareAlike 2.0 License</a>.
+        permitted provided this notice is preserved.

       </p>
       </p>

-      <div id="gnu-inside">
-        <a href="https://www.gnu.org">
-          <img src="images/gnu-inside.png"
-               alt="GNU Inside!" title="GNU Inside!"/>
-        </a>
-      </div>

     </footer>
   </body>
 </html>
     </footer>
   </body>
 </html>