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