Andra Hugo 50dfbc0ca5 change number of flops of a ctx: difference of flops instead of total flops %!s(int64=12) %!d(string=hai) anos
..
examples 8012704880 renaming ctl keys %!s(int64=12) %!d(string=hai) anos
include 50dfbc0ca5 change number of flops of a ctx: difference of flops instead of total flops %!s(int64=12) %!d(string=hai) anos
src 50dfbc0ca5 change number of flops of a ctx: difference of flops instead of total flops %!s(int64=12) %!d(string=hai) anos
Makefile.am e72c552c82 revert r9733: distinguish the effective ABI versions of the different libraries %!s(int64=12) %!d(string=hai) anos