Allan Odgaard ed9396ed84 Workaround for a wrong bundle index ...

This is work in progress, the reason why the situation arise has not yet been found and there are likely other ways in which the index can be wrong/stale (based on user reports like issue #998).

2013-06-15 16:05:48 +07:00

..

src

Workaround for a wrong bundle index

2013-06-15 16:05:48 +07:00

target

Improve bundles index code

2013-03-25 22:56:49 +01:00