Andra Hugo 50dfbc0ca5 change number of flops of a ctx: difference of flops instead of total flops vor 12 Jahren
..
examples 8012704880 renaming ctl keys vor 12 Jahren
include 50dfbc0ca5 change number of flops of a ctx: difference of flops instead of total flops vor 12 Jahren
src 50dfbc0ca5 change number of flops of a ctx: difference of flops instead of total flops vor 12 Jahren
Makefile.am e72c552c82 revert r9733: distinguish the effective ABI versions of the different libraries vor 12 Jahren