php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-04-22 14:38:09 +02:00
Code Issues Packages Projects Releases Wiki Activity
3,298 Commits 13 Branches 4 Tags
78d7f451265d3fa541301194c6ca903d64104fde
Commit Graph

4 Commits

Author SHA1 Message Date
jim winstead 53b64d9874 always update sections with removed notes before removing them 2001-08-28 06:13:03 +00:00
jim winstead 78e3933977 entries just get flagged for deletion and purged later, so sections with deleted notes get updated properly 2001-08-28 06:10:28 +00:00
jim winstead c71cbda0da sort entries correctly, plan ahead for handling votes on the notes 2001-08-28 04:44:01 +00:00
jim winstead c89fd62414 script for generating copy of user notes to use in mirroring. 2001-08-28 04:32:32 +00:00