Changes between Version 21 and Version 22 of db/obsolete/coral


Ignore:
Timestamp:
02/01/2013 08:07:31 AM (7 years ago)
Author:
jbecla
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • db/obsolete/coral

    v21 v22  
    2121 * [wiki:db/obsolete/coral/using Using CORAL] 
    2222 * [wiki:db/obsolete/coral/extending Extending CORAL] 
    23  * [wiki:db/obsolete/coral/verhead CORAL Overhead] 
     23 * [wiki:db/obsolete/coral/overhead CORAL Overhead] 
    2424 
    2525== Argument for removing CORAL ==