• Robert Pluim's avatar
    Fix duplicated words in comments · eda38526
    Robert Pluim authored
    * src/coding.c (encode_string_utf_8):
    * src/keyboard.c (syms_of_keyboard):
    * src/mini-gmp.c (gmp_lucas_mod, mpz_export):
    * src/pdumper.c (dump_set_referrer, dump_queue_compute_score):
    * src/timefns.c (Ftime_convert): Remove duplicated words.
    eda38526