annotate scripts/version.sh @ 1100:ad6b3b9fef40

add Table.is_empty() and Table.size()
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 21 May 2017 16:12:22 -0600
parents 6a21393191c1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
801
6a21393191c1 start version 0.22
Franklin Schmidt <fschmidt@gmail.com>
parents: 738
diff changeset
1 echo '0.22'