From fce8115857a8ecdd9556571c4e456d99e5097003 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 10 Jul 2019 00:26:11 +0200 Subject: [PATCH 1/1] Dead entries in gitignore. --- .gitignore | 2 -- 1 file changed, 2 deletions(-) diff --git a/.gitignore b/.gitignore index 9f50195f56..8134b8efdb 100644 --- a/.gitignore +++ b/.gitignore @@ -208,8 +208,6 @@ examples/deprecated/simdag/test/sd_test examples/deprecated/simdag/throttling/sd_throttling examples/deprecated/simdag/typed_tasks/sd_typed_tasks examples/smpi/ampi/smpi_ampi -examples/smpi/energy/f77/sef -examples/smpi/energy/f90/sef90 examples/smpi/energy/smpi_energy examples/smpi/mc/smpi_bugged1 examples/smpi/mc/smpi_bugged1_liveness -- 2.20.1