tree 8e1d0c8d732a5e94a669a3d2b2804b10c6c951ae
parent e916cca8a9d39f6a2294beef23f2c3c8a5b55aa0
parent 4521b7027fd4305b7cb3a86607a8a0b0a2a48ca7
author Tao Bao <tbao@google.com> 1498254238 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1498254241 +0000

Merge changes Icb6f7466,Ibf6238c9

* changes:
  Use Makefile variables to specify margin settings.
  screen_ui: Allow setting screen margin space.