The unified diff between revisions [73720d77..] and [c3c5df12..] is displayed below. It can also be downloaded as a raw diff.

#
#
# delete "include"
#
# delete "include/ai302-containers-hash_tables.adb"
#
# delete "include/ai302-containers-hash_tables.ads"
#
# delete "include/ai302-containers-indefinite_hashed_maps.adb"
#
# delete "include/ai302-containers-indefinite_hashed_maps.ads"
#
# delete "include/ai302-containers-prime_numbers.adb"
#
# delete "include/ai302-containers-prime_numbers.ads"
#
# delete "include/ai302-containers.ads"
#
# delete "include/ai302-strings-hash.adb"
#
# delete "include/ai302-strings-hash.ads"
#
# delete "include/ai302-strings.ads"
#
# delete "include/ai302.ads"
#
# delete "include/charles-algorithms-generic_lower_bound.adb"
#
# delete "include/charles-algorithms-generic_lower_bound.ads"
#
# delete "include/charles-algorithms.ads"
#
# delete "include/charles.ads"
#