mirror of
https://github.com/Brandon-Rozek/website.git
synced 2026-09-15 05:01:47 +00:00
Merge c6b15ed847 into 55f9e75623
This commit is contained in:
commit
da1310cad1
1 changed files with 3 additions and 3 deletions
|
|
@ -12,13 +12,13 @@ mediaTypes = ['^application/json']
|
|||
tags = "tags"
|
||||
|
||||
[author]
|
||||
name = "Brandon Rozek"
|
||||
name = "Dr. Brandon Rozek"
|
||||
|
||||
[params]
|
||||
author = "Brandon Rozek"
|
||||
author = "Dr. Brandon Rozek"
|
||||
avatar = "avatar.jpg"
|
||||
favicon = "favicon.ico"
|
||||
description = "Computer Science PhD Candidate @ RPI, Writer of Tidbits, and Linux Enthusiast"
|
||||
description = "Lean4 Expert @ Amazon, Writer of Tidbits, and Linux Enthusiast"
|
||||
email = "brozek@brandonrozek.com"
|
||||
identities = [
|
||||
"https://github.com/brandon-rozek",
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue