Bob Plested 2aee07f59c Changed gpr files to call gnat12

2018-09-24 19:49:30 +02:00

..

404.thtml

Reorganize split demo sources.

2010-07-04 17:07:49 +00:00

bounded_index.thtml

Fix line ending

2011-07-01 17:35:22 +07:00

bounded_s_index.thtml

Fix line ending

2011-07-01 17:35:22 +07:00

Makefile

Rename makefile to Makefile (GNU standard)

2015-06-16 17:20:29 +02:00

simple_index.thtml

Reorganize split demo sources.

2010-07-04 17:07:49 +00:00

simple_s_index.thtml

Reorganize split demo sources.

2010-07-04 17:07:49 +00:00

sliding_index.thtml

Fix line ending

2011-07-01 17:35:22 +07:00

sliding_s_index.thtml

Fix line ending

2011-07-01 17:35:22 +07:00

split.adb

Move to GPLv3.

2012-01-03 18:55:45 +01:00

split.gpr

Changed gpr files to call gnat12

2018-09-24 19:49:30 +02:00

split.thtml

Fix line ending

2011-07-01 17:35:22 +07:00