We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
gnome-shell-timer
J'ai poussé une nouvelle version de gnome-shell-timer qui devait fonctionner avec la version 3.21 de GNOME qui avait été poussée vers sid.
I uploaded a new gnome-shell-timer that would work with GNOME 3.21 that had been uploaded to sid.
J'ai également envoyé zim 0.63 et une nouvelle version de gnome-shell-timer pour la compatibilité avec GNOME 3.16.
I uploaded zim 0.63 and a new gnome-shell-timer for GNOME 3.16 compatibility.
Empaquetage de WordPress 3.3.1, quilt 0.50, feed2omb 0.9.2, et d'un nouveau snapshot de gnome-shell-timer.
Packaged WordPress 3.3.1, quilt 0.50, feed2omb 0.9.2, new gnome-shell-timer snapshot.
J'ai déposé sur expérimental une nouvelle version de gnome-shell-timer compatible avec GNOME 3.2.
Le paquet gnome-shell-timer, que j'ai découvert récemment, est une extension GNOME Shell fournissant les mêmes fonctionnalités.
But I recently discovered gnome-shell-timer, a GNOME Shell extension that provides the same features.
GNOME 3.20 Comme pour chaque nouvelle version, j'ai mis à jour gnome-shell-timer, de sorte à ce qu'il fonctionne avec le nouveau GNOME.
As for each new version, I updated gnome-shell-timer to ensure it works with the new GNOME.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
