Skip to content
Snippets Groups Projects
Commit 56b39c48 authored by dgelessus's avatar dgelessus
Browse files

Replace uses of deprecated Eclipse APIs that were removed in Rodin 3.9

These APIs were deprecated since 2014, but our code that used them was
written in 2012...
parent b5eb4301
No related branches found
No related tags found
Loading
Showing
with 133 additions and 121 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment