PR Part 3#3

Open

pmitros wants to merge 30 commits intopmitros/pr-renamefrom

Commits on Jan 5, 2016

Finishing up test
pmitros
committed
pep8
pmitros
committed

Commits on Jan 6, 2016

pylint, etc.
pmitros
committed

Commits on Jan 7, 2016

Debugging Studio view
pmitros
committed

Commits on Jan 8, 2016

Fixup for namespace clobber
pmitros
committed

Commits on Mar 23, 2016

Commits on Mar 31, 2016

Move labels out
Piotr Mitros
committed
Change icon set to be null for the faces
Piotr Mitros
committed

Commits on Apr 5, 2016

Commits on Jun 7, 2017

Changes
pmitros
committed
Merge
pmitros
committed

Commits on Jan 5, 2021

use looser requirements for development
OmarIthawi
committed

Commits on Jan 6, 2021

Commits on Jan 25, 2023

Commits on Sep 13, 2023