package graphical_editor.priorities_rm is

	procedure Show_Priorities_Rm_Widget;

end graphical_editor.priorities_rm;