Kingcom/armips — pull request #13 by StraDaMa (2014-06-28 06:10:10+00:00)
Title: Don't write .pool label if pool is empty

Avoids the issue of .pool label prioritizing a potentially more important label at the same offset.
Previously code like
```
label1:
nop
.pool
label2:
nop
```
would display a .pool label instead of label2 in nocash, which is not as useful.