Retourner au contenu associé (sondage : Mon moteur de recherche préféré est)
Posté par tao popus le 26 novembre 2018 à 12:14. En réponse au sondage Mon moteur de recherche préféré est. Évalué à 1.
Ah, oui, effectivement, je viens de voir qu'il dit ne plus avoir le temps dans ce ticket du 11 octobre je l'avais loupé.
J'avais vu une branche sur le réaménagement des résultats de la recherche début octobre, avec notamment ce changement le 3 octobre.
Je n'ai fait qu'un push (avec un deuxième correctif par erreur :)) personnellement. Il faudrait sans doute trouver un nouveau mainteneur du coup ?
Au passage, merci pour les liens
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: searx
Posté par tao popus . En réponse au sondage Mon moteur de recherche préféré est. Évalué à 1.
Ah, oui, effectivement, je viens de voir qu'il dit ne plus avoir le temps dans ce ticket du 11 octobre je l'avais loupé.
J'avais vu une branche sur le réaménagement des résultats de la recherche début octobre, avec notamment ce changement le 3 octobre.
Je n'ai fait qu'un push (avec un deuxième correctif par erreur :)) personnellement. Il faudrait sans doute trouver un nouveau mainteneur du coup ?
Au passage, merci pour les liens