HomePhabricator

Allow to select input language

Description

Allow to select input language

Bug: T284818
Change-Id: I670a77ce84fab487d9a380c0e98b622e7a46226c

Details

Provenance
Jay-A2KAuthored on Jun 11 2021, 12:13 PM
Parents
rLTBOd73efbbdfd1f: Show all lemmas instead first one
Branches
Unknown
Tags
Unknown
References
refs/changes/06/699406/1
ChangeId
I670a77ce84fab487d9a380c0e98b622e7a46226c