| eclipse.preferences.version=1 |
| encoding//doc/Glossary.html=utf-8 |
| encoding//doc/Release_Notes.html=utf-8 |
| encoding//doc/developer/Architecture_Overview.html=utf-8 |
| encoding//doc/developer/Sirius\ Developer\ Manual.html=UTF-8 |
| encoding//doc/developer/extensions-provide_custom_bundled_image_shape.html=utf-8 |
| encoding//doc/developer/extensions-provide_toolfilter.html=UTF-8 |
| encoding//doc/specifier/Sirius\ Specifier\ Manual.html=utf-8 |
| encoding//doc/specifier/general/Colors.html=utf-8 |
| encoding//doc/specifier/general/Introduction.html=utf-8 |
| encoding//doc/specifier/general/Model_Operations.html=utf-8 |
| encoding//doc/specifier/general/Writing_Queries.html=utf-8 |
| encoding//doc/user/diagrams/Diagrams.html=UTF-8 |
| encoding//specs/archived/435507_SnapToGridForCreation/435507.html=utf-8 |
| encoding//specs/archived/437097-moveEdgeClosestSegmentWhenMovingNode/437097-moveEdgeClosestSegmentWhenMovingNode.html=utf-8 |
| encoding//specs/archived/440296_Required_side_for_border_nodes/440296_Required_side_for_border_nodes.html=UTF-8 |
| encoding//specs/archived/441090_ResizeNodeWithoutModifyingContainedElementsLocation/441090.html=utf-8 |
| encoding//specs/archived/442289_DistributeShapesActions/442289_DistributeShapesActions.html=utf-8 |
| encoding//specs/archived/459993_VSM_Internationalization/VSM_Internationalization.html=utf-8 |
| encoding//specs/archived/463485_snapToAllShapes/463485.html=utf-8 |
| encoding//specs/archived/464269_selectElementsAfterToolExecution/464269.html=utf-8 |
| encoding//specs/archived/465328_edgeLabelLocation/465328.html=UTF-8 |
| encoding//specs/archived/471104_edgeAndPortsCompoundMoves/471104.html=utf-8 |
| encoding//specs/archived/490360_SnapToShapeForBorderNodes/490360.html=UTF-8 |
| encoding//specs/archived/491208_moveInBigDiagram/491208_moveInLargeDiagram.html=UTF-8 |
| encoding//specs/archived/496466_extendCopyPasteLayout/496466.html=UTF-8 |
| encoding//specs/archived/498474_SnapBackLabelsOnEdge/498474.html=UTF-8 |
| encoding//specs/archived/498494_ScrollZoomOnMouse/498494.html=UTF-8 |
| encoding//specs/archived/498869_edgeAndPortsCompoundMoves_multiSelection/498869.html=utf-8 |
| encoding//specs/archived/499418_DiplayLinkBetweenEdgeAndLabel/499418.html=UTF-8 |
| encoding//specs/archived/499991_straightenAnEdge/499991.html=UTF-8 |
| encoding//specs/archived/connections_to_figure_border/connections_between_figures_borders_and_edges.html=utf-8 |
| encoding//specs/proposal/466598_improveResourceStrategy/466598.html=UTF-8 |
| encoding//specs/proposal/491895_paste_special/491895.html=UTF-8 |
| encoding//specs/proposal/506259_DecoratorDescription/506259_DecoratorDescription.html=UTF-8 |
| encoding//specs/proposal/518136_RemoveBendpoints/518136_RemoveBendpoints.html=UTF-8 |
| encoding//specs/proposal/527109_ShowHidePinUnpin/showHidePinUnpinSpec.html=UTF-8 |
| encoding//specs/proposal/535861_ImproveSiriusPopupMenu/535861_ImproveSiriusPopupMenu.html=UTF-8 |
