Merge branch 'master' of git.uio.no:u/erikhf/frm
authorJulie Hill Roa <julie.hill.roa@gmail.com>
Sun, 6 Dec 2015 15:06:50 +0000 (16:06 +0100)
committerJulie Hill Roa <julie.hill.roa@gmail.com>
Sun, 6 Dec 2015 15:06:50 +0000 (16:06 +0100)
commitc35aab774a7838c59a8ff06780263dad50498ec3
tree09893cfc4db4d90a586de6d18d397fc2aded99ee
parent72ff920043336fcd2bb11cea22a4ab7ba40887f8
parentd93bc644db8e4a0827694d6f00eb76cd5e53e147
Merge branch 'master' of git.uio.no:u/erikhf/frm

* 'master' of git.uio.no:u/erikhf/frm:
  Cleanup
  Added message for no result when searching