btw how do you get these information? Do you directly use the dmd frontend source code?

Reply via email to