text: var files_dup =
  [
      [ "english_font.h", "english__font_8h.html", null ],
      [ "gpio.h", "gpio_8h.html", "gpio_8h" ],
      [ "HC-SR04.h", "_h_c-_s_r04_8h.html", "_h_c-_s_r04_8h" ],
      [ "main.h", "main_8h.html", null ],
      [ "nokia_5110_lcd.h", "nokia__5110__lcd_8h.html", "nokia__5110__lcd_8h" ],
      [ "timer.h", "timer_8h.html", "timer_8h" ],
      [ "water_symbols.h", "water__symbols_8h.html", null ]
  ];