commit | 917a81df5b6696eff82e2a7c68681410f81c0e9b | [log] [tgz] |
---|---|---|
author | Frank Morgner <morgner@informatik.hu-berlin.de> | Tue May 21 09:52:19 2013 +0200 |
committer | Frank Morgner <morgner@informatik.hu-berlin.de> | Tue May 21 09:52:19 2013 +0200 |
tree | a9abc6ab9fa23e780cca8383796639230a1bdbdc | |
parent | 8a759ad3db77a47b635f335e66f9c167a0c221ad [diff] |
workaround for missing #warning on windows