Преглед на файлове

DEVELOPERS: add Julien Olivain for z3 runtime test files

Signed-off-by: Julien Olivain <ju.o@free.fr>
Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>
Julien Olivain преди 2 години
родител
ревизия
d0dc2fa386
променени са 1 файла, в които са добавени 1 реда и са изтрити 0 реда
  1. 1 0
      DEVELOPERS

+ 1 - 0
DEVELOPERS

@@ -1724,6 +1724,7 @@ F:	support/testing/tests/package/test_python_spake2.py
 F:	support/testing/tests/package/test_rdma_core.py
 F:	support/testing/tests/package/test_rdma_core/
 F:	support/testing/tests/package/test_z3.py
+F:	support/testing/tests/package/test_z3/
 
 N:	Julien Viard de Galbert <julien@vdg.name>
 F:	package/dieharder/