diff options
| author | Pierre-Marie Pédrot | 2015-02-19 17:48:11 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-19 19:08:54 +0100 |
| commit | 97e5a748bf921dc6cefae0041d2adb00f24f34cb (patch) | |
| tree | 44c44d2dbd4c5dd5116f2ce7fa3df964a7a3da54 /dev/include | |
| parent | ff26623a0b847149e6f119c98b7564d92710d59a (diff) | |
Adding a possible DEPRECATED flag to VERNAC EXTEND statements.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions