Ce site fonctionne mieux avec JavaScript.
Accueil
Aide
Connexion
ben
/
earwigbot
miroir de
https://github.com/earwig/earwigbot
Suivre
1
Ajouter aux favoris
1
Bifurcation
0
Code
Versions
4
Activité
Parcourir la source
Apparently punctuation marks can be used as headers too.
tags/v0.1^2
Ben Kurtovic
il y a 12 ans
Parent
d72be12d41
révision
1bf546b706
1 fichiers modifiés
avec
1 ajouts
et
0 suppressions
Vue séparée
Option de Diff
Voir les Statistiques
Télécharger le Fichier Patch
Télécharger le Fichier des Différences
+1
-0
earwigbot/commands/dictionary.py
+ 1
- 0
earwigbot/commands/dictionary.py
Voir le fichier
@@ -104,6 +104,7 @@ class Dictionary(Command):
"proverb": "Proverb",
"prop. n.": "Proper noun",
"abbr.": "Abbreviation",
"punct.": "Punctuation mark",
}
blocks = "=" * (level + 1)
defs = []
Écrire
Aperçu
Chargement…
Annuler
Enregistrer