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
I uploaded to experimental a new version of gnome-shell-timer compatible with GNOME 3.2.
J'ai déposé sur expérimental une nouvelle version de gnome-shell-timer compatible avec GNOME 3.2.
As for each new version, I updated gnome-shell-timer to ensure it works with the new GNOME.
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.
I uploaded a new gnome-shell-timer that would work with GNOME 3.21 that had been uploaded to sid.
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.
But I recently discovered gnome-shell-timer, a GNOME Shell extension that provides the same features.
Le paquet gnome-shell-timer, que j'ai découvert récemment, est une extension GNOME Shell fournissant les mêmes fonctionnalités.
Packaged WordPress 3.3.1, quilt 0.50, feed2omb 0.9.2, new gnome-shell-timer snapshot.
Filed #734866 and #734869 against bash/dash to request that they properly drop privileges in setuid context. Updated gnome-shell-timer.
J'ai rapporté les bogues nº734866 et nº734869 au sujet de bash/dash, afin qu'ils abandonnent proprement les privilèges dans un contexte setuid
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.