66 files changed, 0 insertions, 15542 deletions
diff --git a/doc/PROBLEMS b/doc/PROBLEMS deleted file mode 100755 index 0f77d61..0000000 --- a/doc/PROBLEMS +++ b/dev/null @@ -1,5 +0,0 @@ -# LIC: GPL - -Problems? - -See the last section of HOW-TO-CONNECT. |