]> https://gitweb.dealii.org/ - dealii.git/commitdiff
remove unnecessary include 3004/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 23 Aug 2016 13:00:34 +0000 (09:00 -0400)
committerTimo Heister <timo.heister@gmail.com>
Tue, 23 Aug 2016 13:00:34 +0000 (09:00 -0400)
source/base/job_identifier.cc

index c59f8ae2128b35aa3d8b2e4a4d9adb34d4829741..68ff6973c1c1291c3dd9756e0b108b97ff8f5587 100644 (file)
 # include <unistd.h>
 #endif
 
-#ifdef DEAL_II_MSVC
-#  include <WinSock2.h>
-#endif
-
 DEAL_II_NAMESPACE_OPEN
 
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.