Branch: refs/heads/resizing_high_dpi_work
  Commit: 20147f007293bb8731c0ad4dcc46f90c9bc82e04
  Author: vexed <>
  Date:   2018-02-05 (Mon, 05 Feb 2018)

  Changed paths:
    M src/

  Log Message:

actually fix the file for buildbot, and remove the "ugly hack".

Check out the vibrant tech community on one of the world's most
engaging tech sites,!
Warzone2100-commits mailing list

Reply via email to