From 2ada52623db60231e51282272ea35509b0e91156 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 14 Oct 2013 12:55:39 +0200
Subject: [PATCH] Added missing class FileNameExtensionFilter