r888888888 a95af95eae move desktop mode to user pref

2017-12-15 13:52:25 -08:00

..

javascripts

move desktop mode to user pref

2017-12-15 13:52:25 -08:00

stylesheets

Factor out duplicated p.info CSS.

2017-12-15 11:14:12 -06:00