私は Eclipse 4.2 Juno (ビルド ID: I20120608-1400) を使用しており、組み込みプラグインの 1 つを変更したいので、それをチェックアウトしたいのですが、方法がわかりません。
ファイルは次のとおりです。org.eclipse.ui.workbench_3.103.0.v20120530-1824.jar
Eclipse サイトで見つけた CVS リポジトリを試しましたが、この特定のタグ/バージョンが見つかりません。バージョンを見つけることができたGitを試しましたが、org.eclipse.ui.workbench
それ自体は見つかりませんでした。
Eclipse の特定のソース バージョンを段階的に取得する方法を教えてください。