doodle
|
doodle: 0.7.0 -> 0.7.1
|
2020-01-15 11:02:17 +00:00 |
grepcidr
|
treewide: name -> pname (easy cases) (#66585)
|
2019-08-15 13:41:18 +01:00 |
grepm
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
recoll
|
[treewide] delete unused patches
|
2019-05-04 19:52:24 +02:00 |