annotate libervia/VERSION @ 1282:0e4e413eb8db

server: user new OrderedSet to handle scripts: OrderedSet is needed because scripts must not be duplicated and must be generated in right order.
author Goffi <goffi@goffi.org>
date Fri, 19 Jun 2020 16:47:51 +0200
parents f14ab8a25e8b
children 3821168b9459
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1215
f14ab8a25e8b 0.8 development starts
Goffi <goffi@goffi.org>
parents: 1213
diff changeset
1 0.8.0D