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 |