Closed GoogleCodeExporter closed 8 years ago
nella classe Pagina c'è un metodo per segnare una pagina come modificata, ma
nn so se
il gestore della memoria utilizzi tale campo.
Original comment by luca...@gmail.com
on 14 Mar 2008 at 4:49
l'interessato è Davide, cmq mi pareva che lo utilizzasse per qualche
algoritmo...
Original comment by alzat...@gmail.com
on 14 Mar 2008 at 5:05
Original comment by luca...@gmail.com
on 27 Mar 2008 at 10:50
Original issue reported on code.google.com by
dany.bony@gmail.com
on 14 Mar 2008 at 4:45