Created tag for Sphinx 0.8.0.I20140211-0500 integration build
RESOLVED - bug 427461: Add progress monitor to resource load options
(useful for loading large models)
https://bugs.eclipse.org/bugs/show_bug.cgi?id=427461

Added logic for adding progress monitor option also when resources are
saved
1 file changed