equal
deleted
inserted
replaced
211 caps += ' _evoext_pushobsmarkers_0' |
211 caps += ' _evoext_pushobsmarkers_0' |
212 caps += ' _evoext_pullobsmarkers_0' |
212 caps += ' _evoext_pullobsmarkers_0' |
213 caps += ' _evoext_obshash_0' |
213 caps += ' _evoext_obshash_0' |
214 return caps |
214 return caps |
215 |
215 |
216 # from evolve extension: 1a23c7c52a43 |
216 # from evolve extension: 10867a8e27c6 |
217 # heavily modified |
217 # heavily modified |
218 def extsetup(ui): |
218 def extsetup(ui): |
219 obsolete.obsstore = pruneobsstore |
219 obsolete.obsstore = pruneobsstore |
220 obsolete.obsstore.relevantmarkers = relevantmarkers |
220 obsolete.obsstore.relevantmarkers = relevantmarkers |
221 hgweb_mod.perms['evoext_pushobsmarkers_0'] = 'push' |
221 hgweb_mod.perms['evoext_pushobsmarkers_0'] = 'push' |