git://git.uio.no
/
u/erikhf/frm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
72ff920
d93bc64
)
Merge branch 'master' of git.uio.no:u/erikhf/frm
author
Julie Hill Roa
<julie.hill.roa@gmail.com>
Sun, 6 Dec 2015 15:06:50 +0000 (16:06 +0100)
committer
Julie Hill Roa
<julie.hill.roa@gmail.com>
Sun, 6 Dec 2015 15:06:50 +0000 (16:06 +0100)
* 'master' of git.uio.no:u/erikhf/frm:
Cleanup
Added message for no result when searching
Trivial merge