Mercurial > hg > FederatedLinda
diff .settings/org.eclipse.jdt.ui.prefs @ 122:ad73eacf560a default tip
remove warning
author | e095732 |
---|---|
date | Thu, 07 Feb 2013 22:32:26 +0900 |
parents | 083a0b5e12cc |
children |
author | e095732 |
---|---|
date | Thu, 07 Feb 2013 22:32:26 +0900 |
parents | 083a0b5e12cc |
children |