search

doris-ffessm / doris-android

Other
1 stars 0 forks source link

nouveau filtre bassin géographique #157

Open dvojtise opened 4 years ago

dvojtise commented 4 years ago

suite à https://gitlab.inria.fr/doris/doris-android/-/issues/150, création d'un nouveau filtre exploitant les informations sur les bassins géographiques

(note: à terme il serait intéressant de voir la redondance avec les zones géographiques, pour simplifier l'IHM)

dvojtise commented 2 years ago

mentioned in commit ac94c2cc24b2875516ecef5f0728dd741ee5b33e