added gpl header to all source files

2019-02-15 04:38:09 -08:00
parent 2a1838467a
commit 0781e9bb09
986 changed files with 69959 additions and 121 deletions
@@ -0,0 +1,5 @@
+var searchData=
+[
+  ['zoom_5fin',['zoom_in',['../class_focus_filter.html#a25c6fc709acf758f0c965420b3f10745',1,'FocusFilter']]],
+  ['zoom_5fout',['zoom_out',['../class_focus_filter.html#a723180d73f272ae21ab8b8001353f610',1,'FocusFilter']]]
+];