Changeset c7ede7 in git
- Timestamp:
- Jun 16, 2017, 5:09:25 PM (7 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 6ca7ce393b31f4c446396c8dc6eeb61a837b6eca
- Parents:
- ab80529c2ca3f87dc8a9254e5ed266fab97c745f
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/misc_ip.cc
rab8052 rc7ede7 65 65 66 66 #ifdef HAVE_READLINE 67 #ifdef READLINE_READLINE_H_OK 68 #include <readline/readline.h> 69 #else 70 #define RL_VERSION_MAJOR 0 71 #endif 67 #ifdef READLINE_READLINE_H_OK 68 #include <readline/readline.h> 69 #endif 70 #ifndef RL_VERSION_MAJOR 71 #define RL_VERSION_MAJOR 0 72 #endif 72 73 #endif 73 74
Note: See TracChangeset
for help on using the changeset viewer.