Tidy-up variant label names
authorSiraaj Khandkar <siraaj@khandkar.net>
Wed, 14 Nov 2018 20:19:16 +0000 (15:19 -0500)
committerSiraaj Khandkar <siraaj@khandkar.net>
Wed, 14 Nov 2018 20:19:16 +0000 (15:19 -0500)
commitcfcdf90aaf8b18958ae0d0a1b1cb9793ca9f7909
treea5e2a6d866b8e1ef0f3f79ef8baae783e8a1d90f
parente09dff7f9b5875b81cf50b33dcf97635518f7c28
Tidy-up variant label names
dups.ml
This page took 0.016884 seconds and 4 git commands to generate.