I assume that the TAGS and tags files will not go into the repo. Regards, Mike Jonkmans
diff --git .gitignore .gitignore index 1512a9ab..f09f4eac 100644 --- .gitignore +++ .gitignore @@ -113,3 +113,6 @@ examples/loadables/tty examples/loadables/uname examples/loadables/unlink examples/loadables/whoami + +TAGS +tags
