webmcp
diff libraries/mondelefant/mondelefant_native.c @ 273:5ff8d300817b
Tiny optimization in slot.put_into(...)
| author | jbe | 
|---|---|
| date | Sat Mar 21 14:37:11 2015 +0100 (2015-03-21) | 
| parents | a533ab6d7337 | 
| children | 11ef7ab67e43 | 
   line diff
| author | jbe | 
|---|---|
| date | Sat Mar 21 14:37:11 2015 +0100 (2015-03-21) | 
| parents | a533ab6d7337 | 
| children | 11ef7ab67e43 |