?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 586cb86) | patch
Rename garbage collection function more aptly describing its argumentpreload
commit55e2f0486752427e4a82dbecfa53b4d1e0841cd9
authormalc <clamky@hotmail.com>
Mon, 6 Dec 2021 17:20:27 +0000 (6 20:20 +0300)
committermalc <clamky@hotmail.com>
Mon, 6 Dec 2021 17:20:27 +0000 (6 20:20 +0300)
tree06625377cc32884b14e5253fd8d1636b0a5566d0tree | snapshot (tar.gz zip)
parent586cb865549a22765a91ee0983e02a56429b1577commit | diff
Rename garbage collection function more aptly describing its argument
main.ml diff | blob | blame | history
PDF pager