Skip to content

Commit

Permalink
update page
Browse files Browse the repository at this point in the history
  • Loading branch information
Ranjit Jhala committed Jan 7, 2024
1 parent 75a5eb2 commit 181add0
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion docs/lectures/00-hello.html
Original file line number Diff line number Diff line change
Expand Up @@ -447,7 +447,7 @@ <h3 id="profs">Profs</h3>
<li><p>Research: Tools and Techniques to make programs better</p></li>
</ul>
<p><strong>Many thanks to for taking over in weeks 1-2!</strong></p>
<p>**<a href="https://cseweb.ucsd.edu/~npolikarpova">Prof. Nadia Polikarpova</a></p>
<p><a href="https://cseweb.ucsd.edu/~npolikarpova">Prof. Nadia Polikarpova</a></p>
<p><br>
<br>
<br>
Expand Down
2 changes: 1 addition & 1 deletion lectures/00-hello.md
Original file line number Diff line number Diff line change
Expand Up @@ -272,7 +272,7 @@ etc.

**Many thanks to for taking over in weeks 1-2!**

**[Prof. Nadia Polikarpova](https://cseweb.ucsd.edu/~npolikarpova)
[Prof. Nadia Polikarpova](https://cseweb.ucsd.edu/~npolikarpova)

<br>
<br>
Expand Down

0 comments on commit 181add0

Please sign in to comment.