summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Jann Horn [Sat, 12 Sep 2015 13:31:30 +0000 (15:31 +0200)]
remove stupid specialcase
Jann Horn [Sat, 12 Sep 2015 13:15:08 +0000 (15:15 +0200)]
the top-level directory also needs to be watched
Jann Horn [Sat, 12 Sep 2015 12:47:33 +0000 (14:47 +0200)]
proper attribution
Jann Horn [Sat, 12 Sep 2015 12:10:42 +0000 (14:10 +0200)]
initial commit