markj 792f2dc38d Remove the "unused" DIF subroutine index left after r308582.
These indices are input to a build-time script that generates code to
validate subroutine names.
2017-01-03 00:24:12 +00:00
..
2016-12-27 20:22:17 +00:00
2017-01-02 16:58:55 +00:00
2016-12-21 01:39:11 +00:00
2016-12-26 11:06:41 +00:00
2016-11-26 23:15:11 +00:00
2016-12-10 03:31:38 +00:00