Andrea Cavalli b754302914 Sum the old priority with the new priority if an element is offered a second time		2020-09-22 19:17:48 +02:00
src	Sum the old priority with the new priority if an element is offered a second time	2020-09-22 19:17:48 +02:00
.gitignore	Update .gitignore	2020-06-12 18:36:16 +02:00
pom.xml	Update pom.xml	2020-08-27 16:57:26 +02:00