Add DeprecatedBy flag to mark functions which are deprecated.
authorRichard Jones <rjones@trick.home.annexia.org>
Tue, 28 Jul 2009 14:24:44 +0000 (15:24 +0100)
committerRichard Jones <rjones@trick.home.annexia.org>
Tue, 28 Jul 2009 14:24:44 +0000 (15:24 +0100)
commit6fe5a945c5cf8094f4d0bf05763418ec20f4c5f2
tree7b666cae5fb22919429b31fe03a5b510c189170b
parent75c9b770ad23af1bece9df3b8c87eb9f60ab2024
Add DeprecatedBy flag to mark functions which are deprecated.
src/generator.ml