Remove import <decreases/*.vpr>#24

fosslinux wants to merge 1 commit intoviperproject:masterviperproject/tutorial:masterfrom

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