diff options
Diffstat (limited to 'names/idris.yml')
| -rw-r--r-- | names/idris.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/names/idris.yml b/names/idris.yml new file mode 100644 index 0000000..6229f99 --- /dev/null +++ b/names/idris.yml @@ -0,0 +1,3 @@ +domain: idr.is +name: Idris Bhavnagarwala +candidate: true |