diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | .gitmodules | 4 | ||||
| -rw-r--r-- | Doxyfile | 2 | ||||
| m--------- | pages | 0 |
4 files changed, 2 insertions, 5 deletions
@@ -46,3 +46,4 @@ Makefile !/Makefile *-prefix gitlike +/pages/ diff --git a/.gitmodules b/.gitmodules index 85b2c7b..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,4 +0,0 @@ -[submodule "pages"] - path = pages - url = git@github.com:Taywee/args.git - branch = gh-pages @@ -38,7 +38,7 @@ PROJECT_NAME = "args" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = 6.0.2 +PROJECT_NUMBER = 6.0.3 # Using the PROJECT_BRIEF tag one can provide an optional one line description # for a project that appears at the top of each page and should give viewer a diff --git a/pages b/pages deleted file mode 160000 -Subproject af1518c30407129c3623cd7162b0e10f4e8cfab |