Skip to content

Commit

Permalink
small fix to index page
Browse files Browse the repository at this point in the history
  • Loading branch information
normster committed Oct 4, 2023
1 parent 7436ecc commit cca8930
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions index.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,9 +40,8 @@ layout: page
</p>
</div>
{% endif %}
{% endfor %}
{% endfor %}
</div>
<hr>
{% endfor %}

<h3>Alumni</h3>
Expand Down Expand Up @@ -157,4 +156,6 @@ for Embedded Systems</a>.
<li>Ben Schwarz,
M.S., 2005: <a href="bschwarz-ms.pdf">Model Checking An Entire
Linux Distribution for Security Violations</a>.
</ul>
</ul>

<hr>

0 comments on commit cca8930

Please sign in to comment.