History log of /ontohub/db/migrate/20150805075102_add_file_extension_p.rb
Revision Date Author Comments Expand
e5a38deea869b1ffcd8d4f578abb5e2a565ba7c6 05-Aug-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add .p as a file extension for TPTP This is used by the MPTP2078 library.