Skip to content

update postivity commondata

Emanuele Roberto Nocera requested to merge update-pos-commondata into master

Created by: RoyStegeman

Since we cut some points for nfonll we need to remove them from the commondata as well. Of course, since this is shared for all theories that's going to cause clashes. Not sure if there is a good solution for this?

Merge request reports