Andrew Jeddeloh 1718adb22a *: remove dev image
The dev image has been broken for some time. Some bits are left because
the dev container (not broken) still uses them. They should be renamed.
2018-07-25 13:11:17 -07:00
..
2010-07-13 15:24:54 -07:00
2018-07-25 13:11:17 -07:00
2012-12-20 15:06:03 -08:00