Torsten Ruger 5bddbfbb62 rename word_length to padded length
with word_length i was never sure if it was the padded version or not
2015-11-04 10:33:10 +02:00
..
2015-10-26 17:23:35 +02:00
2015-11-03 16:22:24 +02:00