Bug#271326: this us_intl seems to work for me

[Gustavo Noronha Silva <kov@debian.org>]

Hey,

I am having the us_intl problem here and found this bug report. I tried
Denis' file: copied it to /etc/X11/xkb/symbol/pc/ and ran setxkbmap. It
seems to work just fine now.

Thanks,

-- 
kov@debian.org: Gustavo Noronha <http://people.debian.org/~kov>
Debian:  <http://www.debian.org>  *  <http://www.debian-br.org>
  "Não deixe para amanhã, o WML que você pode traduzir hoje!"
        http://debian-br.alioth.debian.org/?id=WebWML