diff options
author | Braxton Hall | 2022-10-31 16:18:17 +0000 |
---|---|---|
committer | GitHub | 2022-10-31 16:18:17 +0000 |
commit | 11be438aea968cf34f6e1d9dc4425ad2d76d0479 (patch) | |
tree | 6a404e96019951e5e98538494e153e441792f16b /people.json | |
parent | b19e171b583785feb3bc74cacd5be2f238bfef30 (diff) | |
parent | 15c42c1c1290997601eddd3a5fce34924760b7de (diff) |
Merge pull request #76 from gerui/main
Add Rui Ge
Diffstat (limited to 'people.json')
-rw-r--r-- | people.json | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/people.json b/people.json index 155858b..3652818 100644 --- a/people.json +++ b/people.json @@ -619,5 +619,20 @@ "link": "./entries/joeyshi12/vimscript/fib.vim" } ] - } + }, + { + "github": "gerui", + "name": "Rui Ge", + "title": "PhD Candidate, UBC", + "entries": [ + { + "name": "gfib.ml", + "link": "./entries/gerui/gfib.ml" + }, + { + "name": "fib.pl", + "link": "./entries/gerui/fib.pl" + } + ] + } ] |