]> git.uio.no Git - u/erikhf/frm.git/commitdiff
git://git.uio.no / u / erikhf / frm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 83df753 27cd7c3)
Merge branch 'searchbug'
authorYrjan A. F. Fraschetti <yrjanaff@1x-193-157-241-240.uio.no>
Sun, 6 Dec 2015 14:24:38 +0000 (15:24 +0100)
committerYrjan A. F. Fraschetti <yrjanaff@1x-193-157-241-240.uio.no>
Sun, 6 Dec 2015 14:24:38 +0000 (15:24 +0100)
Added message for when there is no result in search


Trivial merge