diff options
-rw-r--r-- | simple-opt.h (renamed from src/simple-opt.h) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/simple-opt.h b/simple-opt.h index d250e73..d250e73 100644 --- a/src/simple-opt.h +++ b/simple-opt.h |
index : simple-opt.git | ||
Unnamed repository; edit this file 'description' to name the repository. | git user |
aboutsummaryrefslogtreecommitdiffstats |
-rw-r--r-- | simple-opt.h (renamed from src/simple-opt.h) | 0 |
diff --git a/src/simple-opt.h b/simple-opt.h index d250e73..d250e73 100644 --- a/src/simple-opt.h +++ b/simple-opt.h |