chiark / gitweb /
Abortive change to feature arrangements.
authorian <ian>
Tue, 24 Jun 2008 21:34:45 +0000 (21:34 +0000)
committerian <ian>
Tue, 24 Jun 2008 21:34:45 +0000 (21:34 +0000)
commitee9056538930930ae8cabc3431466ae286ecf8bd
tree7d2078c098c2d99f5f19aabea60d876decc99d03
parent3a1f5ddab816adaae23c7183e31686ac06af19b8
Abortive change to feature arrangements.

Was going to
  - change features to be named rather than lettered
  - make realtime not deal with the names at all

But this is actually tedious.  Instead if we need another level of
indirection for the UI we'll add one then.

So commit this now and immediately revert it.
hostside/realtime.h
hostside/record-l.l
hostside/record-y.y
hostside/record.c