delete unneeded SerNet-imini.fns to eliminate duplicate compile runs
authorBjörn Jacke <bj@sernet.de>
Tue, 7 Dec 2010 22:40:57 +0000 (23:40 +0100)
committerBjörn Jacke <bj@sernet.de>
Tue, 7 Dec 2010 22:40:57 +0000 (23:40 +0100)
commitfb9c5e016a6b58654b86282ae2b0f11384d0f02b
treec669f1f15524fef7d8893d24f2b261ab17be2e10
parente2710d3f8dd7dd917db5d25c646560c6e37f9e00
delete unneeded SerNet-imini.fns to eliminate duplicate compile runs
SerNet-imini.fns [deleted file]