Remove import <decreases/*.vpr>#24

Aurel300 merged 1 commit intoviperproject:masterviperproject/tutorial:masterfrom

fosslinux:remove-import-decreasesfosslinux/viper-tutorial:remove-import-decreasesCopy head branch name to clipboard