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