diff --git a/src/bindings/.gitignore b/src/bindings/.gitignore new file mode 100644 index 000000000..eeddf0dd7 --- /dev/null +++ b/src/bindings/.gitignore @@ -0,0 +1,14 @@ +# +# NOTE! Don't add files that are generated in specific +# subdirectories here. Add them in the ".gitignore" file +# in that subdirectory instead. +# +# NOTE! Please use 'git-ls-files -i --exclude-standard' +# command after changing this file, to see if there are +# any tracked files which get ignored after the change. +# + +# +# Scripting projects +# +#universal diff --git a/src/shared/revision_nr.h b/src/shared/revision_nr.h index 2e4c90e44..6ee17294e 100644 --- a/src/shared/revision_nr.h +++ b/src/shared/revision_nr.h @@ -1,4 +1,4 @@ #ifndef __REVISION_NR_H__ #define __REVISION_NR_H__ - #define REVISION_NR "8094" + #define REVISION_NR "8095" #endif // __REVISION_NR_H__