Skip to content

Commit

Permalink
Merge pull request #11 from mudathirmahgoub/gh-pages
Browse files Browse the repository at this point in the history
Add image
  • Loading branch information
daniel-larraz authored Sep 25, 2024
2 parents 3e1faf2 + 4802935 commit db5d295
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions _members/mudathir.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@ advisor: Cesare Tinelli
interests: Automated theorem proving
email: [email protected]
website: https://homepage.cs.uiowa.edu/~mahgoubyahia/
photo:
photo: mudathir.jpg
layout: member
subpath:
subpath: '/assets/img/'
---
<!-- Write anything else here and it will be printed. -->
Binary file added assets/img/mudathir.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.

0 comments on commit db5d295

Please sign in to comment.