git.eclipse.org / intent / org.eclipse.mylyn.docs.intent.main / 4c5b8a4e1a9c0a4cc5f5934426567d826ebc7778 / plugins / org.eclipse.mylyn.docs.intent / .settings