[Warzone2100-commits] [Warzone2100/warzone2100] 999928: ini2json: Convert IDs to real names.

[per <pe...@wz...>]

  Branch: refs/heads/master
  Home:   https://github.com/Warzone2100/warzone2100
  Commit: 999928e70b28355d4bd83b74dea3db6d7f0833ea
      https://github.com/Warzone2100/warzone2100/commit/999928e70b28355d4bd83b74dea3db6d7f0833ea
  Author: per <pe...@wz...>
  Date:   2014-01-01 (Wed, 01 Jan 2014)

  Changed paths:
    M tools/conversion/ini2json/conv_all.sh
    A tools/conversion/ini2json/ini2dict.py
    M tools/conversion/ini2json/ini2json_generic.py
    M tools/conversion/ini2json/ini2json_research.py

  Log Message:
  -----------
  ini2json: Convert IDs to real names.