tipaul 7ef0fe63c3 adding a field useful only for CVS, to avoid deletion of empty directories. this directory is filled when modifying an authority. the merge_authority script get files here & deals with them		2005-05-31 14:52:09 +00:00
..
modified_authorities	adding a field useful only for CVS, to avoid deletion of empty directories. this directory is filled when modifying an authority. the merge_authority script get files here & deals with them	2005-05-31 14:52:09 +00:00