Răsfoiți Sursa

[libs] Bump to latest ipdb

Romain Rigaux 4 ani în urmă
părinte
comite
9c7a615481
1 a modificat fișierele cu 1 adăugiri și 1 ștergeri
  1. 1 1
      desktop/devtools.mk

+ 1 - 1
desktop/devtools.mk

@@ -20,7 +20,7 @@
 # May require download from PyPI or whereever
 DEVTOOLS += \
 	ipython[5.2.0] \
-	ipdb[0.10.3] \
+	ipdb[0.13.9] \
 	nose[1.3.7] \
 	coverage[4.4.2] \
 	nosetty[0.4] \