coqide terminal 실행 시 에러

snu-sf-class / pl201602

SNU 2016 Fall 4190.310 Programming Language

22 stars 10 forks source link

Closed sangmoon closed 8 years ago

sangmoon commented 8 years ago

(process:16700): Gtk-WARNING **: Locale not supported by C library.
        Using the fallback 'C' locale.

shell에서 coqide를 실행하면 위와 같은 경고가 뜹니다. 문제가 있을까요..? 아니면 무시해도 되는건가요?

jeehoonkang commented 8 years ago

I guess you can ignore it. I get the same message all the time..