From 778f9c8894de547f59164c3f09a42b48004a4b93 Mon Sep 17 00:00:00 2001 From: Dani Megert Date: Tue, 17 Apr 2018 11:31:30 +0200 Subject: Updated API problem filters --- org.eclipse.jdt.apt.ui/.settings/.api_filters | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'org.eclipse.jdt.apt.ui') diff --git a/org.eclipse.jdt.apt.ui/.settings/.api_filters b/org.eclipse.jdt.apt.ui/.settings/.api_filters index 1752455cc3..f0fcf165cc 100644 --- a/org.eclipse.jdt.apt.ui/.settings/.api_filters +++ b/org.eclipse.jdt.apt.ui/.settings/.api_filters @@ -4,7 +4,7 @@ - + -- cgit v1.2.3