From 2e3a0db5f94e8258eedfc59034c3df00925bb030 Mon Sep 17 00:00:00 2001 From: Luca Boccassi Date: Thu, 11 Feb 2016 15:29:14 +0000 Subject: [PATCH] Problem: old filenames in .gitignore Solution: remove them --- .gitignore | 2 -- 1 file changed, 2 deletions(-) diff --git a/.gitignore b/.gitignore index 86d88b73..08e43b0b 100644 --- a/.gitignore +++ b/.gitignore @@ -127,8 +127,6 @@ test_udp test_large_msg test_use_fd_ipc test_use_fd_tcp -test_pre_allocated_fd_ipc -test_pre_allocated_fd_tcp tests/test*.log tests/test*.trs src/platform.hpp*