Re: File rename part three: src/frontends/controllers

[Bo Peng]

Did you see my small script for checking that?

Not yet. Did you find anything wrong in insets, graphics and mathed?

Bo> a. FrontendHelper b. frontendHelper c. Frontend_helper d.
Bo> frontend_helper

I vote d.

I vote a, as I have said.

Bo