Révision c4d7d834
| ID | c4d7d834abc410db9aeb9c055d54068eac6730d6 |
| Parent | 34cb2b50, eda5c9b4 |
| Enfant | 0d4ad57f, dcfcbc2f, ac1af8bd |
Merge pull request #955 from kael-shipman/patch-1
Added print_{warning,critical} for greater flexibility
Fichiers
- ajouté
- modifié
- copié
- renommé
- supprimé