aboutsummaryrefslogtreecommitdiff
path: root/people.json
diff options
context:
space:
mode:
authorBraxton Hall2022-10-31 16:18:17 +0000
committerGitHub2022-10-31 16:18:17 +0000
commit11be438aea968cf34f6e1d9dc4425ad2d76d0479 (patch)
tree6a404e96019951e5e98538494e153e441792f16b /people.json
parentb19e171b583785feb3bc74cacd5be2f238bfef30 (diff)
parent15c42c1c1290997601eddd3a5fce34924760b7de (diff)
Merge pull request #76 from gerui/main
Add Rui Ge
Diffstat (limited to 'people.json')
-rw-r--r--people.json17
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"
+ }
+ ]
+ }
]