Roger Luethi 20a43fbe5b Revert "Python 3 compatibility: convert raw_input to input"
The reverted patch introduced a library that is not part of a standard
Python install. Up to that point, we carefully avoided such dependencies
in the code, because it makes the software more difficult to install and
use. The patch provides no actual benefit (it was just a trivial first
step towards Python 3 support).

This reverts commit 03a35690a2f2067784188481882c079dbf4eb42b.

Change-Id: I11f823bf974931b5eafa5c74a003b0506543d37d
2019-03-01 10:47:11 +01:00
..
2019-01-23 17:27:02 +08:00
2016-12-18 11:47:44 +00:00
2016-12-18 11:47:44 +00:00
2016-12-18 11:47:44 +00:00
2016-12-18 11:47:44 +00:00
lib
2016-12-18 11:47:44 +00:00
2016-12-18 11:47:44 +00:00
2016-12-18 11:47:44 +00:00
2018-02-14 15:56:57 +01:00