[riot-commits] [RIOT-OS/RIOT] 8b047d: tools: desvirt: rm unused TOPO_FLE var

Oleg Hahm oleg at hobbykeller.org
Sat May 21 18:06:02 CEST 2016


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 8b047d055ed62a83d5438fbe6060b41bb7218ce8
      https://github.com/RIOT-OS/RIOT/commit/8b047d055ed62a83d5438fbe6060b41bb7218ce8
  Author: Cenk Gündoğan <cnkgndgn at gmail.com>
  Date:   2016-05-15 (Sun, 15 May 2016)

  Changed paths:
    M dist/tools/desvirt/Makefile.desvirt

  Log Message:
  -----------
  tools: desvirt: rm unused TOPO_FLE var


  Commit: 29badd7d581ed96ce3e65a95537f7f6af4a3fad8
      https://github.com/RIOT-OS/RIOT/commit/29badd7d581ed96ce3e65a95537f7f6af4a3fad8
  Author: Oleg Hahm <oleg at hobbykeller.org>
  Date:   2016-05-21 (Sat, 21 May 2016)

  Changed paths:
    M dist/tools/desvirt/Makefile.desvirt

  Log Message:
  -----------
  Merge pull request #5441 from cgundogan/pr/desvirt/make_cleanup

tools: desvirt: rm unused TOPO_FLE var


Compare: https://github.com/RIOT-OS/RIOT/compare/e08733d2d1ec...29badd7d581e


More information about the commits mailing list