Where would plugin options be stored?

Within the dashboard a plugin (geo redirect) lets you save some options. I’m looking in the php source files and I can’t find where those options are stored. All I can see PHP functions and vars, but no indication of those options that you can choose in the dashboard.