Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

TatSu needs a mascot... #1

Closed
refi64 opened this issue May 7, 2017 · 11 comments
Closed

TatSu needs a mascot... #1

refi64 opened this issue May 7, 2017 · 11 comments

Comments

@refi64
Copy link

refi64 commented May 7, 2017

Like Tatsu!

tatsu

Sorry, I couldn't help it...I always loved Grako but never liked compiling my grammars. Imagine my excitement when I saw this, especially after I saw the name!

@apalala
Copy link
Collaborator

apalala commented May 7, 2017

He-he-heee!

@dtrckd
Copy link
Contributor

dtrckd commented Jul 20, 2017

Hello,
it is a bit a distance related question (maybe not an new issue), but what is the encoding used in the Readme.md, my browser can't decode some characters ?
thanks!

@apalala
Copy link
Collaborator

apalala commented Jul 20, 2017 via email

@dtrckd
Copy link
Contributor

dtrckd commented Jul 21, 2017

Yes the .rst I meant, so I see the line that I can't decode :
.. |dragon| unicode:: 0x7ADC .. unicode dragon
Do you know what font like package/tools we need to see it ?
Thank you.

@apalala
Copy link
Collaborator

apalala commented Jul 21, 2017 via email

@dtrckd
Copy link
Contributor

dtrckd commented Jul 21, 2017

I'am on Linux/Debian.

@apalala
Copy link
Collaborator

apalala commented Jul 21, 2017 via email

@dtrckd
Copy link
Contributor

dtrckd commented Jul 22, 2017

Iam using vim. But the problem to read the readme.rst is with the browser, on github.com, where I see the following :

screenshot_2017-07-22_14-51-48

@apalala
Copy link
Collaborator

apalala commented Jul 22, 2017 via email

@dtrckd
Copy link
Contributor

dtrckd commented Jul 22, 2017

Yes, installing the japanese font package : fonts-ipafont-mincho solve the resolution issue. thanks :).

@refi64 refi64 closed this as completed Jul 13, 2018
@refi64
Copy link
Author

refi64 commented Jul 13, 2018

(Sorry, don't know why I never closed this "issue"...)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants