Update branch info and build instructions

quadhier committed Sep 11, 2023

made a newline change in each subpage to trigger reindexing

Alexander Kohan committed Feb 2, 2023

Updated user, devel, and install directories

Krizhan committed Dec 25, 2018

Updated Downloading sources (markdown)

jeandersonbc committed Jun 29, 2018

Merging this page from https://github.com/jeandersonbc/jpf-core/wiki/Downloading-sources since it seems github wont allow pull requests for wiki page changes

Vaibhav Sharma committed Jun 22, 2018

Adding install

vaibhavbsharma committed Jan 23, 2018